QR decomposition
Proof by QR decomposition.