難関と馬鹿ではない証明は共存しない言葉だと思うんだけど。