theorem :: GLIB_008:2

canceled;