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