실수 a,b에 대하여

a-b=a+(-b)=a-(+b)

a+b=a+(+b)=a-(-b)

하나의 연산 기호를 각각 덧셈뺄셈 기호 하나랑 양수와 음수를 구별하는 기호 하나로 바꿀 수 있다는 얘기같은데 증명하는법이 있음?