find a proof for a lemma