theorem :: GRAPH_2:26

canceled;