>>83
背理法で高校生でも証明できるんじゃねぇか?