Deriving the SVD (Single Value Decomposition) from scratch

Most books state the Singular Value Decomposition as a finished theorem. Here we arrive at it naturally, without even aiming for it — letting the structure of any linear map hand us the factorization for free.