El argumento que usaremos es igual al usado en la demostración