(a+b)^2 proved