Dichotomy and infinite combinatorics: the theorems of Steinhaus and Ostrowski - Bingham,NH; Ostaszewski,AJ (MATHEMATICAL PROCEEDINGS OF THE CAMBRIDGE PHILOSOPHICAL SOCIETY, 2011)