to go from

a/c divide (-b)/c
to this
a/c - b/c

I don't know what axiom it is or how I go from that to that