만일 a, b의 조건을 따지지 않는다면 민서님의 질문이 맞을수도 있겠지요. 하지만 이 경우는 a, b의 조건이 중요합니다. 서로소인 자연수.... 어떤 자연수를 제곱해서 6이 되는 경우는 없으므로 님의 가정은 잘못된 것이구요, 이 문제의 경우, 어떤 자연수를 제곱해서 3의 배수가 된 경우는 그 수가 3의 배수였다는 설명은 하는 것입니다. 증명은 교재 아래쪽에 나오듯이 대우를 이용해서 할 수 있구요, 이건 증명은 아니지만 직관적으로 몇개의 예를 보면 1^2=1(X), 2^2=4(X), 3^2=9(O) 4^2=16(X), 5^2=25(X), 6^2=36(O) 7^2=49(X), 8^2=64(X), 9^2=81(O) 원래 수가 3의 배수가 아닌데 제곱해서 3의 배수가 나오는 경우는 없습니다. 이와 같이 증명의 경우는 항상 조건에 특히 주의해야 됩니다.