theorem :: GLIB_009:10

canceled;