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