P

Initializing...

Thue–Siegel's lemma for real linear forms, by Dirichlet's box principle (Lemma 4.11 of Waldschmidt's book) · Prove2Me