背理法ってどうやるんですか…?