theorem :: GRAPH_2:19

canceled;