complete the proof of TAoCP 3.2.1.2 Lemma Q