数学的帰納法があるなら、算数的帰納法もあっていいはず。