SOE ex.1.2
simple x y z = x * (y + z)
simple (a - b) a b
= (a - b) * (a + b)
= ((a - b) * a) + ((a - b) * b)
= (a^2 - a * b) + (a * b - b^2)
= a^2 - b^2
simple x y z = x * (y + z)
simple (a - b) a b
= (a - b) * (a + b)
= ((a - b) * a) + ((a - b) * b)
= (a^2 - a * b) + (a * b - b^2)
= a^2 - b^2