Theorem

If is invariant, then:

  1. is upper triangularizable
  2. There exists a basis for such that if then: