theorem :: GRAPH_2:9

canceled;