simple x y z = x * (y + z)

simple (a - b) a b
=> (a - b) * (a + b)
=> (a * a) + (a * b) - (b * a) - (b * b) {- distributive law -}
=> (a * a) - (b * b)
=> a2 - b2