(x+y)^2 = x^2+2xy+y^2 因此 AGI 存在