show/hide this revision's text 1 [made Community Wiki]

In some sense you can view the singular value decomposition as a sharpening of this theorem (for real and complex matrices, anyway). This, in turn, is useful all over the place.