substitute (Minus a b) x value = Minus (substitute a x value) (substitute b x value)
substitute (Minus a b) x value = Minus (substitute a x value) (substitute b x value)
substitute (Minus a b) x value = Minus (substitute a x value) (substitute b x value)