theorem :: SGRAPH1:14

canceled;