Let $A \in \mathbb{R}^{N \times M}$ be a D4571: Real matrix.
Then
| (1) | $A^T A$ is a D4937: Positive semidefinite real matrix |
| (2) | $A A^T$ is a D4937: Positive semidefinite real matrix |