最後の行
→これが任意のaについて成り立てばよい