e/Siegel's lemma

Information
has gloss	eng: In transcendental number theory and Diophantine approximation, Siegels lemma refers to bounds on the solutions of linear equations obtained by the construction of auxiliary functions. The existence of these polynomials was proven by Axel Thue ; Thues proof used Dirichlet's box principle. Carl Ludwig Siegel published his lemma in 1929 . It is a pure existence theorem for a system of linear equations.
lexicalization	eng: Siegel's lemma
instance of	c/Lemmas

Meaning
French
has gloss	fra: En mathématiques, l lemme de Siegel affirme lexistence dune solution non nulle et de grandeur contrôlée à un système linéaire homogène à coefficients entiers.
lexicalization	fra: Lemme de Siegel