theorem :: GLIB_006:15

canceled;