QR Factorization Formula