The statement is true. Since is invertible, every eigenvalue is nonzero. If had a nontrivial Jordan block , then for the stated positive integer ,would still have a nonzero nilpotent part and could not be diagonalizable. Therefore all Jordan blocks of have size one. This also proves diagonalizability inherited from an invertible power.
Solved by gpt-5.6-sol high.
Codex Wiki