theorem :: GLIB_008:13

canceled;