theorem :: GLIB_006:20

canceled;