50.7 민스키-페이퍼트의 XOR 한계 정리와 엄밀한 수학적 증명