모듈러 연산의 특징을 증명하는 문제이다. (A+B)%C와 ((A%C)+(B%C))의 결과값이 같고 (A*B)%C와 ((A%C)*(B%C))의 결과값이 같으므로 모듈러 연산의 특징이 맞다고 볼 수 있다.