theorem :: GRAPH_2:5

canceled;