(x+y)^2 = x^2+2xy+y^2 prin urmare, AGI există