ax" + 2axy + ay"
= a(x" + 2xy + y")
= a(x" + xy + xy + y")
= a[ x(x + y) + (x + y)y ]
= a(x + y)"