theorem :: GLIB_008:14

canceled;