theorem :: GLIB_008:1

canceled;