P

Initializing...

Theorem 4.12, linear-algebra half: if every eigenvalue of every conjugation lies on the unit circle then the group is almost nilpotent · Prove2Me