Question: What is the original name of the person who made Lagrange's theorem?

Context paragraphs:
Bayes' theorem: In probability theory and statistics, Bayes’ theorem (alternatively Bayes’ law or Bayes' rule) describes the probability of an event, based on prior knowledge of conditions that might be related to the event.  For example, if cancer is related to age, then, using Bayes’ theorem, a person’s age can be used to more accurately assess the probability that they have cancer, compared to the assessment of the probability of cancer made without knowledge of the person's age.

Smn theorem: In computability theory the "s" theorem, (also called the translation lemma, parameter theorem, and the parameterization theorem) is a basic result about programming languages (and, more generally, Gödel numberings of the computable functions) (Soare 1987, Rogers 1967).  It was first proved by Stephen Cole Kleene (1943).  The name "s" comes from the occurrence of a "s" with subscript "n" and superscript "m" in the original formulation of the theorem (see below).

Joseph-Louis Lagrange: born Giuseppe Lodovico Lagrangia or Giuseppe Ludovico De la Grange Tournier (also reported as Giuseppe Luigi Lagrange or Lagrangia) (25 January 1736 – 10 April 1813), was an Italian Enlightenment Era mathematician and astronomer.  He made significant contributions to the fields of analysis, number theory, and both classical and celestial mechanics.

Lagrange's theorem (number theory): In number theory, Lagrange's theorem is a statement named after Joseph-Louis Lagrange about how frequently a polynomial over the integers may evaluate to a multiple of a fixed prime.  More precisely, it states that if "p" is a prime number and formula_1 is a polynomial with integer coefficients, then either:

Paul Guldin: Paul Guldin (original name Habakkuk Guldin; 12 June 1577 (Mels) – 3 November 1643 (Graz)) was a Swiss Jesuit mathematician and astronomer.  He discovered the Guldinus theorem to determine the surface and the volume of a solid of revolution.  (This theorem is also known as the Pappus–Guldinus theorem and Pappus's centroid theorem, attributed to Pappus of Alexandria.)  Guldin was noted for his association with the German mathematician and astronomer Johannes Kepler.  Guldin composed a critique of Cavalieri's method of Indivisibles.

Sakura Kinomoto: Sakura Kinomoto (木之本 桜 , Kinomoto Sakura ) is the main protagonist and title character of Clamp's manga series "Cardcaptor Sakura".  In the English anime adaptation by Nelvana of the series, "Cardcaptors", her name is changed to Sakura Avalon, though it was changed back to her original name in the dub of the 2nd film by Bang Zoom!  Entertainment.  For the alternative English dub by Omni Productions, her original name was fully kept, making it more faithfully closer to the original Japanese version.  For all Japanese-language productions of the anime (including movies, audio CDs, and video games), Sakura is voiced by Sakura Tange.  For the Nelvana English-language dub production, she is voiced by Carly McKillip through "Cardcaptors" and the first movie.  She is voiced in the second movie by Kari Wahlgren.  For the alternative English dub produced by Omni Productions to air on Animax Asia, she was voiced by Andrea Kwan.

Ganja, Azerbaijan: Ganja (Azerbaijani: "Gəncə" ] ) is Azerbaijan's second largest city with a population of around 325,200.  It was named Elisabethpol (Russian: Елизаветпо́ль , "Yelizavetpol"; ] ) in the Russian Empire period.  The city regained its original name, Ganja, in 1920 during the first part of its incorporation into the Soviet Union.  However, its name was changed again in 1935 to Kirovabad (Russian: Кироваба́д ; ] ) and retained that name through most of the rest of the Soviet period.  In 1989, during Perestroika, the city regained its original name.

Colonnade Row: Colonnade Row, also known as LaGrange Terrace, on present-day Lafayette Street in New York City's NoHo neighborhood, is a landmarked series of Greek revival buildings originally built in the early 1830s.  They are believed to have been built by Seth Geer, although the project has been attributed to a number of other architects.  The buildings' original name comes from the Marquis de Lafayette's estate in France, but the series of nine row houses, of which four remain, owe their existence to John Jacob Astor, who bought the property and whose grandson John Jacob Astor III later lived at No. 424.  The buildings are listed on the National Register of Historic Places under the name LaGrange Terrace and the facades remain standing on Lafayette Street south of Astor Place.

EPRU Stadium: EPRU Stadium, also known by its original name of Boet Erasmus Stadium, was a stadium in Port Elizabeth, South Africa.  The letters "EPRU" in the name represent the Eastern Province Rugby Union, the company behind the stadium's historic primary tenants, the Mighty Elephants.  The original name Boet Erasmus Stadium was named after Boet Erasmus, a former mayor of Port Elizabeth.  The stadium held a capacity of 33,852 people and served primarily as a venue for rugby union matches but also hosted a number of football fixtures.

Ptychography: Ptychography ( ; "πτυχο-γραφία", from πτυχή = fold + γραφή = writing/scripture) is a technique invented by Walter Hoppe that aims to solve the diffraction-pattern phase problem by interfering adjacent Bragg reflections coherently and thereby determine their relative phase.  In the original formulation, Hoppe envisaged that such interference could be effected by placing a very narrow aperture in the plane of the specimen so that each reciprocal-lattice point would be spread out and thus overlap with other points.  The name ptychography, from the Greek for "fold", derives from this optical configuration; each reciprocal lattice point is convolved with some function, and thus made to interfere with its neighbors.  In fact, measuring only the intensities of interfering adjacent diffracted beams still leads to an ambiguity of two possible complex conjugates for each underlying complex diffraction amplitude.  The original formulation of ptychography is equivalent to the well known theorem that for a finite specimen (that is one delineated by a narrow aperture, sometimes known as a "finite support"), the one-dimensional phase problem is soluble to within an ambiguity of 2N, where N is the number of Fourier components that make up the specimen.  However, such ambiguities may be resolved by changing the phase, profile or position of the illuminating beam in some way.  The fact that not only the intensities of the diffracted beams but also the intensities lying midway between the beams, where the convolved Bragg beams interfere, is an alternative statement of the Nyquist–Shannon sampling theorem for components of diffracted intensity.  These components generally have twice the frequency (in reciprocal space) of their underlying complex amplitudes.

Supporting paragraphs: Lagrange's theorem (number theory) Joseph-Louis Lagrange
Answer: Giuseppe Lodovico Lagrangia