El sucesor de todo ordinal es un ordinal.