Pour prouver que la transformation r=SoS' est une rotation d'angle, nous devons montrer que cette transformation conserve les distances et les angles entre les points. Cela peut être démontré en utilisant les propriétés de la composition des rotations et des translations.
