(x+y)^2 = x^2+2xy+y^2 proto AGI existuje