発想としては背理法に似てるな
前提を否定すると矛盾(らしきもの)が出るから元の命題は真(らしきもの)
ガバガバだけど