QR decomposition
formula_9 is a QR decomposition of formula_17.