lemma 25 done
intermediate