Si se invocará, la demostración se simplificarla.