ま、帰納法でもいけるけどね