다음 부분은 이후는 모듈입니다. 대칭에 의해 나머지 절반을 증명하기에 충분하지만 , 만약 , wed가 있으면 , 모순을 의미합니다. 그런 다음 방금 만든 주장을 두 번 적용하면 는 다음과 같습니다.

The part follows since is a module. By symmetry its enough to prove the other half for but then if , wed have , which implies , contradiction. Then it follows that , by applying the claim I just made twice.