Chacune de ces propriétés est vraie pour , cela résulte des axiomes d'espace vectoriel, on veut les démontrer pour un entier quelconque, on aura donc tout intérêt à faire une démonstration par récurrence.