안녕하세요 질문에 대한 관련 답변입니다. 기본 3-9 에서 3의 배수임을 물어봤으므로 m=3k +_1 이어야 합니다 . 결론을 부정했을때 가정의 모순됨을 이끌어내는 것을 귀류법이라 합니다. 모순된다는 것은 가정의 주어진 것과 다름을 의미하고요 m^2이 3의 배수가 아님을 이끌어냈으므로 가정에 모순입니다.