>>9
背理法で証明できる命題は直接証明可能という定理がある
まあ存在定理だけどな