>>641
帰納法では駄目なのか?