 Polar decomposition of an invertible real matrix

Every invertible real matrix has the polar decompositionwhere $P$ is symmetric positive definite and $R$ is orthogonal.