theorem :: GLIB_006:21

canceled;