theorem :: GLIB_008:11

canceled;