Uniqueness of Isomorphisms Between Well-orderings