theorem :: GLIB_006:16

canceled;