theorem :: GLIB_009:23

canceled;