shorten the proof of lemma P