added orthogonal factorization lemma