(〜)(A^2-A-12E)は0になるのだけど。。