Procéder par l'absurde en supposant n+1 exposants de Lyapunov distincts.