「明らか」とは「ルーティーンで証明できる」ということなので、永田本も悪くはないです。