Ostrowski theorem