Before revision: The theorem remains true if is replaced by everywhere .
After revision: The theorem remains true for real matrices with the caveat that one considers their complex eigenvalues .