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 T_p of compact Riemann surfaces of genus p.