Added two equivalent statements of Hall-Witt identity