theorem :: GLIB_008:9

canceled;