theorem :: GLIB_008:10

canceled;