QR-Zerlegung
Proof by QR decomposition.