>>779
帰納法じゃね?