theorem :: GLIB_009:6

canceled;