투에의 보조정리: 두 판 사이의 차이