let a^2+4*a*b+b^2=(a+2*b)^2-3b^2=t^2-3*b^2;
if x=t1^2-3*b1^2, y==t2^2-3*b2^2;
so x*y=(t1^2-3*b1^2)*(t2^2-3*b2^2)=(t1*t2+3*b1*b2)^2-3*(t1*b2+t2*b1)^2;
so x*y also belongs to A