theorem :: GLIB_008:5

canceled;