theorem :: JGRAPH_6'1_2
  (c - a) - (c - b) = - (a - b);
