On vérifie que cette relation est bien une relation de bon ordre (on exploite le fait que la chaîne est ordonnée par segment initial).
On vérifie que cette relation est bien une relation de bon ordre ( on exploite le fait que la chaîne est ordonnée par segment initial ) .