theorem :: GLIB_009:16

canceled;