[5 point lemma[7].png]