大阪とは言ってるが、大阪桐蔭とは言ってない。