theorem :: GLIB_009:20

canceled;