theorem :: JGRAPH_1:35

canceled;