theorem :: GRAPH_2:20

canceled;