>>945
背理法

>>955
唯一の欠陥が判明した