theorem :: GRAPH_2:17

canceled;