theorem :: GLIB_009:17

canceled;