theorem :: GLIB_008:15

canceled;