QR-Zerlegung
formula_9 is a QR decomposition of formula_17.