2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/152024Using the new diffeomorphism invariants of Seiberg and Witten, a uniqueness theorem is proved for Einstein metrics on compact quotients of irreducible 4-dimensional symmetric spaces of non-compact type. The proof also yields a Riemannian version of the Miyaoka-Yau inequality.7 pages, LaTeX (with optional \Bbb font replaceable by \bf)Differential Geometrytext