In the 1940s Davenport and Heilbronn contributed by proving special cases and in 1946 Watson extended their results showing the conjecture to be true for further special cases. Margulis proved the full conjecture in 1986 and gives a beautiful survey of the work leading to this solution in .
Sa 1940s Davenport at Heilbronn ambag ng proving espesyal na kaso at sa 1946 Watson extended ang kanilang mga resulta na nagpapakita ng haka-haka na maging totoo para sa karagdagang espesyal na kaso. Margulis proved ang buong haka-haka sa 1986 at nagbibigay ng isang beautiful sarbey ng trabaho humahantong sa solusyon na ito sa.