Fix error in proof Lemma Tag 00IW

Pointed out by MINSEON SHIN