[Avodah] Cramers theorem

[Eli Turkel]

<<According to some sources, the Vilna Gaon is the author of
"The Gaon's Theorem," a principle of the mathematics
of infinity (Feldman, A., 1999). Other sources
claimed that this theorem was called "Kramer's Theorem,"
Kramer being the Vilna Gaon's family name.
Gerver (1993), however, stated that this supposition
was unlikely, as the author of this article did not
present proof for these two opinions.>>

>From Wikipedia

In linear algebra, Cramer's rule is a theorem, which gives an
expression for the solution of a system of linear equations with as
many equations as unknowns, valid in those cases where there is a
unique solution. The solution is expressed in terms of the
determinants  of the (square) coefficient matrix and of matrices
obtained from it by replacing one column by the vector of right hand
sides of the equations. It is named after Gabriel Cramer (1704–1752),
who published the rule in his 1750 Introduction à l'analyse des lignes
courbes algébriques, although Colin Maclaurin also published the
method in his 1748 Treatise of Algebra (and probably knew of the
method as early as 1729).

(note the Vilna Gaon lived from 1720 to October 9, 1797)

I couldn't find any theorem called Gaon's theorem


-- 
Eli Turkel