theorem :: GRAPH_2:7

canceled;