>>976
帰納法を使え