theorem :: GRAPH_2:6

canceled;