theorem :: GLIB_008:6

canceled;