Ostrowski–Hadamard Gap Theorem - Ontify