>>27
背理法と対偶は違う