theorem :: GLIB_009:13

canceled;