helper lemma
test10 done /cc @namin