Teichmüller's Theorem asserts the Existence and Uniqueness of the extremal quasiconformal map between two compact Riemann Surfaces of the same Genus modulo an Equivalence Relation. The equivalence classes form the Teichmüller space of compact Riemann Surfaces of Genus .
See also Riemann's Moduli Problem