>>70
aに関する恒等式とみなす。
左辺が0となるためにはどうなっていればよいか考える。