「直観的に明らか」と「自明」は全然意味が違うんだけど