The proof of the existence of a free subgroup of the 5 by 5 special orthogonal group with rational entries whose action on the rational sphere with non-rational radius is without fixed points and whose action on the complete sphere is locally commtative.