<p>Let <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>K</mi></math> be a number field, and <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>S</mi></math> a finite set of nonarchimedean places of <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>K</mi></math>, and write <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><msup><mrow><mi mathvariant="bold-script">𝒪</mi></mrow><mrow><mo>×</mo></mrow></msup></math> for the group of <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>S</mi></math>-units of <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>K</mi></math>. A famous theorem of Siegel asserts that the <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>S</mi></math>-unit equation <math display="inline" xmlns="http://www.w3.org/1998/Math/MathML"><mi>𝜀</mi>