theorem :: GRAPH_2:16

canceled;