proof of process lemma