Stelling: Voor iedere x en y gelden de onderstaande eigenschappen.
  1. |x|=|x|
  2. |xy|=|x||y|
  3. |x|x|x|
Bewijs:

2. We delen het bewijs op in drie delen. We nemen eerst aan dat x=0 (of y=0). Vervolgens nemen we aan dat x>0 en y>0 (of x<0 en y<0) en uiteindelijk nemen we aan dat x>0 en y<0 (of x<0 en y>0).

Neem aan dat x=0. Dan geldt
|xy|=|0y|=|0|=0=0|y|=|0||y|=|x||y|.


Neem aan dat x>0 en y>0. Dan geldt
|xy|=xy=|x||y|.


Neem aan dat x>0 en y<0. Dan geldt
|xy|=xy=x(y)=|x||y|.