theorem :: GLIB_009:15

canceled;