theorem :: GRAPH_2:8

canceled;