Ya hemos demostrado que el sucesor de todo conjunto transitivo es transitivo.