PROOF 07

증명하라.

a − b = a + (−b)

정수 ℤ 위에서.

정의 D1

a − b 는 x + b = a 를 만족하는 x 를 뜻한다.

증명.

관련 실험실