If AAA is a m×nm \times nm×n matrix and AAA can be QRQRQR factorized. WWW is the set of all columns of AAA, and W⊥W^\perpW⊥ is the orthogonal complement of WWW, then
