P

Initializing...

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