Iwasawa decomposition

Let $A$ be an invertible matrix with real coefficients. Then there exist unique matrices $O$, $D$, $U$, such that

1. $A=ODU$.

2. $O$ is an orthogonal matrix.

3. $D$ is a diagonal matrix with positive diagonal entries.

4. $U$ is a unit upper triangular matrix.