Shirshov–Witt theorem