theorem :: GRAPH_2:27

canceled;