theorem :: GRAPH_2:3

canceled;