Se p e q sono numeri reali, vale sempre la disuguaglianza ||p| - |q|| ≥ |p| - |q| cioe'
Dimostrazione Per la dimostrazione osserviamo che, per ogni numero reale m vale sempre |m| ≥ m pongo m = |p| - |q| vista l'osservazione precedente, posso scrivere ||p| - |q|| = |m| ≥ m = |p| - |q| e per la proprieta' transitiva delle uguaglianze/disuguaglianze ||p| - |q|| ≥ |p| - |q| come volevamo |