theorem :: GRAPH_2:1

canceled;