theorem :: GRAPH_2:11

canceled;