Es fácil ver, por inducción, de que efectivamente se ha definido un elemento de