Ancient mathematicians wanted the solutions of univariate equations (that is, equations with one variable) in the form of radical expressions, like formula_6 for the positive solution of formula_7. The ancient Egyptians knew how to solve equations of degree 2 (that is equations in which the highest power of the variable is 2) in this manner. During the Renaissance, Gerolamo Cardano solved the equation of degree 3 and Lodovico Ferrari solved the equation of degree 4. Finally Niels Henrik Abel proved in 1824 that the equation of degree 5 and the equations of higher degree cannot always be solved by using radicals. Galois theory, named after Évariste Galois, were introduced to give criteria deciding if an equation is solvable using radicals.