theorem :: GLIB_006:19

canceled;