theorem :: GRAPH_2:12

canceled;