theorem :: GLIB_009:9

canceled;