theorem :: GLIB_009:7

canceled;