>>478
任意のaについて成立つということでしょうか?