Thue–Siegel–Roth_theorem loading ...