theorem :: GLIB_009:12

canceled;