theorem :: SGRAPH1:13

canceled;