Hemos dicho arriba lo bastante para que se com-