theorem :: GRAPH_2:10

canceled;