theorem :: GLIB_009:3

canceled;