mod(a^2+2*a*b+b^2,6)=0, mod(a^2*b^2,4)=0