theorem :: GLIB_009:11

canceled;