theorem :: GLIB_008:16

canceled;