shown to be faulty by Alwin Reinhold Korselt in 1911 (confirmed by Schröder). Jordan curve theorem. There has been some controversy about whether Jordan's original proof of this in 1887 contains gaps. Oswald Veblen in 1905 claimed that Jordan's proof is incomplete, but in 2007 Hales said that the gaps are minor and that Jordan's proof is essentially complete. In 1905 Lebesgue tried to prove the (correct) result that a function implicitly defined by a Baire function is Baire, but his proof incorrectly assumed that the projection of a Borel set is Borel. Suslin pointed out the error and was inspired by it to define analytic sets as continuous images of Borel sets. Dehn's lemma. Dehn published an attempted proof in 1910, but Kneser found a gap in 1929. It was finally proved in 1956 by Christos Papakyriakopoulos. Hilbert's sixteenth problem about the finiteness of the number of limit cycles of a plane polynomial vector field. Henri Dulac published a partial solution to this problem in 1923, but in about 1980 Écalle and Ilyashenko independently found a serious gap, and fixed it in about 1991. In 1929 Lazar Lyusternik and Lev Schnirelmann published a proof of the theorem of the three geodesics, which was later found to be flawed. The proof was completed by Werner Ballmann about 50 years later. Littlewood–Richardson rule. Robinson published an incomplete proof in 1938, though the gaps were not noticed for many years. The first complete proofs were given by Marcel-Paul Schützenberger in 1977 and Thomas in 1974. Class numbers of imaginary quadratic fields. In 1952 Heegner published a solution to this problem. His paper was not accepted as a complete proof as it contained a gap, and the first complete proofs were given in about 1967 by Baker and Stark. In 1969 Stark showed how to fill the gap in Heegner's paper. In 1954 Igor Shafarevich published a proof that every finite solvable group is a Galois group over the rationals. However Schmidt pointed out a gap in the argument at the prime 2, which Shafarevich fixed in 1989. Nielsen realization problem. Kravetz claimed to solve this in 1959 by first showing that Teichmüller space is negatively curved, but in 1974 Masur showed that it is not negatively curved. The Nielsen realization problem was finally solved in 1980 by Kerckhoff. Yamabe problem. Yamabe claimed a solution in 1960, but Trudinger discovered a gap in