>>119
背理法は必要条件が否定できりゃOKだろ。