Template:Character theory fact from linear algebra