SVD decomposition and polar decomposition

Given an SVD decomposition $A = U\Sigma V^T$,

let $R = UV^T$ and $S = V\Sigma V^T$.
It is clear that R is orthogonal and that S is positive semidefinite symmetric, and $RS = U V^TV\Sigma V^T = U\Sigma V^T = A$

Going the other way, given a polar decomposition $A = R_1S$, where $R_1$ is orthogonal and $S$ is positive semidefinite symmetric, there is an orthogonal matrix $R_2$ and a positive semidefinite diagonal matrix $\Sigma$ such that $S = R_2\Sigma R_2^T$, and thus

$A = R_1R_2\Sigma R_2^T = U\Sigma V^T$

where $U = R_1R_2$ and $V = R_2$ are orthogonal.