Fix proof of a lemma

Thanks to Minseon Shin