(x+y)^2 = x^2+2xy+y^2 portanto, a AGI existe