Polar decomposition theorem