theorem :: GRAPH_2:14

canceled;