theorem :: GRAPH_2:25

canceled;