theorem :: GLIB_008:12

canceled;