>>410
>>381 のならどっちも帰納法でできたと思うが