Proposición 2.3.3 (Propiedades de la Distancia).