Re: [math-fun] A symmetrical rotation of Euclidean space