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