theorem :: GLIB_008:4

canceled;