\lemmname 5.7.5 . [01UM]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
\lemmname 5.7.5.
Soit un espace vectoriel réel de dimension , soit un vecteur-volume sur . Soit une famille de formes linéaires sur et soit . Il existe un nombre réel tel que
de plus, si ne contient pas de base de .