Тождество [x,y -1 ,z] y [y,z -1 ,x] z [z,x -1 ,y] x =1 , выполняющееся в любой группе, завораживает своей холодной красотой.