증명하라.

정의 D1

b 가 곱셈 역원을 가질 때 a/b 는 a · b⁻¹ 를 뜻한다.

증명.