theorem :: GLIB_009:19

canceled;