theorem :: GRAPH_2:22

canceled;