theorem :: GRAPH_2:15

canceled;