ostrowskis theorem