Proposición 15.2.1 (Propiedades de las Traslaciones).