theorem :: GRAPH_2:28

canceled;