theorem :: GLIB_008:8

canceled;