theorem :: GLIB_009:21

canceled;