theorem :: SGRAPH1:15

canceled;