On vérifie donc les huit axiomes :

Ainsi les huit axiomes sont satisfaits et est un -espace vectoriel.