, G une famille génératrice de E et L une famille libre de vecteurs de E. Alors il existe au moins une base de E formée en prenant la réunion de L et d'une partie de G.
, ʒˈe yn famˈij ʒeneʁatʁˈis də- ˈə e ˈɛl yn famˈij lˈibʁ də- vɛktˈœʁ də- ˈə. alˌɔʁ il ɛɡzˈist o mwˈɛ̃z yn bˈaz də- ˈə fɔʁmˈe ɑ̃ pʁənˈɑ̃ la- ʁeynjˈɔ̃ də- ˈɛl e dyn paʁtˈi də- ʒˈe.