Search Results for ""

The reciprocity theorem for x^8=q (mod p).

There are so many theorems due to Fermat that the term "Fermat's theorem" is best avoided unless augmented by a description of which theorem of Fermat is under discussion. ...

R^n is homeomorphic to R^m iff n=m. This theorem was first proved by Brouwer.

The Diophantine equation x^2+y^2=p can be solved for p a prime iff p=1 (mod 4) or p=2. The representation is unique except for changes of sign or rearrangements of x and y. ...

If J is a simple closed curve in R^2, the closure of one of the components of R^2-J is homeomorphic with the unit 2-ball. This theorem may be proved using the Riemann mapping ...

The bicommutant theorem is a theorem within the field of functional analysis regarding certain topological properties of function algebras. The theorem says that, given a ...

The Heine-Borel theorem states that a subspace of R^n (with the usual topology) is compact iff it is closed and bounded. The Heine-Borel theorem can be proved using the ...

A theorem that guarantees that the trajectory of Langton's ant is unbounded.

Due to Euler's prolific output, there are a great number of theorems that are know by the name "Euler's theorem." A sampling of these are Euler's displacement theorem for ...

A generalization of Turán's theorem to non-complete graphs.