Supongamos válida la