背理法でしかできない証明ってないの?