Soient F et G deux sev de E. Alors F inter G est non vide car F contient 0e et G aussi donc F inter G aussi.
Maintenant montrons la stabilité pour deux combinaisons de vecteurs de "F inter G". ( ie : si u et v sont dans "F inter G" alors au+bv sont dans F inter G avec a et b des scalaires ).
u et v sont dans F ( car à la fois dans F et dans G par déf de l'inter) donc au+bv est dans F ( car F est un sev de E )
u et v sont dans G donc au+bv est dans G ( car G est un sev de E ).
Ainsi au+bv est dans F et dans G donc dans "F inter G"
CQFD.
Voilà !