theorem :: GLIB_009:8

canceled;