proof)

셰이
아지
티르

이 중 셰이와 티르는 정실의 제1법칙인 젖통크기 최소 조건에 위배되므로 소거법에 의해 정실은 아지로 확정됨. Q.E.D