[1] 0 = (0)*(-1) = {(1) + (-1)} * (-1) = (1)*(-1) + (-1)*(-1) = (-1) + (-1)*(-1)
0 = (-1) + (-1)*(-1) => (1) + 0 = (1) + (-1) + (-1)*(-1)
(1) = 0 + (-1) * (-1)
(-1)*(-1) = 1
[2] 0 = (-1)*(0) 으로도 마찬가지로 증명됨
한편 (1)*(-1) 이나 (-1)*(1)은 0 = (0)*(1) 과 0 = (1)*(0)을 이용하여 [1]의 방식을 응용하면 쉽게 구할 수 있다.
집합(Set), 군 (Group), 환(Ring), 체(Field)도 한번 알아봅시다.