complete the proof of TAoCP 2.1.2 Lemma P