theorem :: GLIB_009:14

canceled;