>>580>>585
帰納法でもいいですか?