てか背理法って対偶のことだよね?