○○は定義より明らかである←全然明らかじゃない