theorem :: GLIB_006:18

canceled;