theorem :: GRAPH_5:5

canceled;