Deriving SVD without even aiming at it

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.