수학 문제를 풀어 레이팅을 쌓고, 직접 만든 문제를 공식 문제로 등록하는 수학 랭크 플랫폼
임의의 실수 aaa에 대하여 a×0=0a\times0=0a×0=0임을 증명하는 과정이다.
<증명>
양변에 −a×0-a\times0−a×0을 더하면
↓ (가)
↓ (나)
↓ (다)
위 증명 과정에서 (가), (나), (다)에 사용된 실수의 연산에 대한 기본 성질이 바르게 짝지어진 것은? [3점]