T'as une famille de p vecteurs (u_1,...,u_p) qui est de rang r (par définition ça signifie que l'espace engendré par ces vecteurs est de dimension r).
Le théorème te donne des infos sur les sous-familles de (u_1,...,u_p).
1) Si une sous-famille est libre, alors son cardinal est au maximum r (et il existe une sous-famille libre de cardinal r). Ce qui implique que si une sous-famille est de cardinal >r, elle est liée.
2) Pour tout k<=r, il existe une sous-famille libre de cardinal k. C'est une conséquence du premier point et du fait qu'une sous-famille d'une famille libre est libre.