We enunciate and prove here a generalization of Geroch's famous conjecture
concerning analytic solutions of the elliptic Ernst equation. Our
generalization is stated for solutions of the hyperbolic Ernst equation that
are not necessarily analytic, although it can be formulated also for solutions
of the elliptic Ernst equation that are nowhere axis-accessible.Comment: 75 pages (plus optional table of contents). Sign errors in elliptic
case equations (1A.13), (1A.15) and (1A.25) are corrected. Not relevant to
proof contained in pape