Démonstration Espace vectoriel

[Formule1]

Bonjour à tous.
Pourriez vous me donner (ou faire) la démonstration du théorème de l'échange (Espace vectiriel) et du théorème de la bas incomplète s'il vous plait.
Merci d'avance.
-----

[Snowey]

Hm.
Je crois que Wikipédia donne une démonstration de ton second théorème (l'as tu vue ou ne la comprends tu pas ?),
Quant au premier, je n'en ai pas entendu parler :/
Est ce que c'est une traduction du fait que dans un ev. de dimension finie n, le cardinal d'une famille libre est inférieur au cardinal d'une famille génératrice ?