Geometrization conjecture