theorem :: GLIB_008:7

canceled;