theorem :: GRAPH_2:24

canceled;