theorem :: GRAPH_2:23

canceled;