For any two well-ordered sets, initial positions in one ordering correspond to initial positions in ...