Hall–Witt identity