theorem :: GLIB_008:17

canceled;