Se puede demostrar por inducción que las dos definiciones son equivalentes.