theorem :: GRAPH_2:18

canceled;