ostrowski-hadamard gap theorem