Shirshov–Cohn theorem