theorem :: GRAPH_2:21

canceled;