>>694
横だけど、それは帰納法の仮定だよ