мимоходом, эстетическое

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