theorem :: GLIB_009:22

canceled;