Si no hubiese una, entonces por razonamiento similar, es necesario que no ocurriera.