theorem :: GLIB_006:17

canceled;