QR分解
Proof by QR decomposition.