theorem :: GRAPH_5:4

canceled;