Hyperbolization theorem