>>15
背理法以外でも示せるけどね