어떤 명제가 n=1,2,3,... m=1,2,...,n 일때 m에 대한 명제인데 m에 대해서 수학적 귀납법을 이용해 n이하의 모든 자연수에 대해 성립함을 보여서 문제를 푸는것도 타당함?