theorem :: GRAPH_2:2

canceled;