Is this part of the proposition: x=exp X, and x having a double eigenvalue implying that X has a double eigenvalue somehow clear? How do you prove it?