>>56さん
ごめんなさい。
では帰納法は何回使えばよいですか?