Polar Factorization Theorem