Unique Representation of Ordinal as Sum