theorem :: GLIB_008:18

canceled;