theorem :: GLIB_009:18

canceled;