조건이 0에서 성립하고,  입력변수가 n일때의 출력변수와 n+일때의 출력변수의 꼴이 똑같다면

추가적인 성립에대한 확인필요없이, n+와 N의 정의에 의하여
0 1 2 .. .... 임의의 n에 대해서 전부 성립하다니

제법이군 "자연수"