Seja A ∈ M_4( ext{R}) uma matriz real e seja T : ext{C}^4
ightarrow ext{C}^4 o operador linear no espaço vetorial complexo ext{C}^4 cuja matriz em relação à base canônica é A. Se i é autovalor de T e (−i, 1− i, 1, 0) e (0, 1 + i, 0, 2) são autovetores de T associados a i, então