自明だから省略する