P
Initializing...
Brumer's theorem, main step: an auxiliary integer polynomial that vanishes at $N^n$ consecutive powers · Prove2Me