This was proved by Davenport and Heilbronn for rational or transcendental irrational q, and by Cassels for algebraic irrational q.
Bu Davenport ve Heilbronn tarafından rasyonel ve cebirsel olmayan irrasyonel q ve Cassels tarafından ise cebirsel irrasyonel q için ispat edildi.