>>633

「背理法」は否定文だから全部証明できないの?