theorem :: GRAPH_2:13

canceled;