theorem :: GLIB_008:3

canceled;