theorem :: GRAPH_2:4

canceled;