Talk:Polar factorization theorem