Établir qu'une famille finie (v1,…,vn)(v_1, \ldots, v_n)(v1,…,vn) est à la fois libre et génératrice de EEE.
Choisissez une approche :
En prouvant que la famille est libre et génératrice
Utiliser la définition d'une base en combinant une preuve de liberté et une preuve de génération.