>>401
証明は帰納法でしょうか