지금 여기정수 · 5편 중 1번째여정 →

PROOF 07

증명하라.

a − b = a + (−b)

정수 ℤ 위에서.

정의 D1

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

증명.

관련 실험실