背理法って、Falseをreturnしたら全部示されるんじゃないの