P
Initializing...
Brumer's theorem, Lemme 1: integer coefficients of controlled size for the auxiliary function (Siegel's lemma) · Prove2Me