4) étant un réel fixé, si par une transformation , on a :

pour tout couple de points : ,

alors est une rotation d'angle .