What is the translation of " THEOREM IS " in German?

• ist der Satz
• Theorem ist

Examples of using Theorem is in English and their translations into German

The theorem is now proved.
Damit ist der Satz bewiesen.

Obviously, the theorem is true for finite sets.
Offensichtlich ist das Theorem für endliche Mengen wahr.

The theorem is named after Karl Weierstrass.
Der Satz wurde 1876 von Karl Weierstraß gefunden.

History==The Bolzano-Weierstrass theorem is named after mathematicians Bernard Bolzano and Karl Weierstrass.
Der Satz von Bolzano-Weierstraß(nach Bernard Bolzano und Karl Weierstraß) ist ein Satz der Analysis.

This theorem is more strictly fundamental than von Staudt 's….
Dieser Satz ist mehr als streng fundamentalen von Staudt's….

History==König's theorem is named after the Hungarian mathematician Dénes Kőnig.
Der Satz ist nach dem ungarischen Mathematiker Dénes Kőnig benannt.

This theorem is a variant of theorem 1 from Soe92.
Dies Theorem ist eine Variante von Theorem 1 aus Soe92.

This theorem is due to Peter Lax.
Der Satz ist nach Peter Lax benannt.

The theorem is: your front door, your street, our neighborhood clean!
Die Aussage ist: Ihrer Haustür, Ihre Straße, unserer Nachbarschaft zu reinigen!

The theorem is named after Ernst David Hellinger and Otto Toeplitz.
Er ist nach den Mathematikern Ernst Hellinger und Otto Toeplitz benannt.

The theorem is recognised as one of the main outcomes of polyhedron theory.
Der Satz wird heute als eines der Hauptergebnisse der Polyedertheorie anerkannt.

The following theorem is a valuable resource when it comes to estimates.
Der folgende Satz ist bei vielen Abschätzungsaufgaben ein unentbehrliches Hilfsmittel.

The theorem is well-known under the name Norton's theorem or Mayer-Norton theorem..
Das Theorem ist unter dem Namen Norton- oder Mayer-Norton-Theorem bekannt.

This theorem is named after Tjalling Koopmans, who published this result in 1934.
Das Koopmans-Theorem ist eine nach dem niederländischen Physiker T. C. Koopmans benannte Näherung.

This theorem is a direct consequence of 5.7 and 5.16, which we will prove in the sequal without using it.
Dies Theorem ist eine direkte Konsequenz aus 5.7 und 5.16, die im Folgenden ohne R ̈ uckgriff auf das Theorem bewiesen werden.

This theorem is also called the Pauli-Lüders theorem and is one of the most fundamental rules of particle physics.
Dieses Theorem wird auch Pauli-Lüders-Theorem genannt und ist eine der fundamentalsten Regeln der Teilchenphysik.

In mathematics, the Lie-Kolchin theorem is a theorem in the representation theory of linear algebraic groups; Lie's theorem is the analog for linear Lie algebras.
Der Satz von Lie, benannt nach Sophus Lie, ist ein mathematischer Satz aus der Theorie der Lie-Algebren.

The theorem is named after economist Kenneth Arrow, who demonstrated the theorem in his doctoral thesis and popularized it in his 1951 book"Social Choice and Individual Values.
Das Theorem wurde von Arrow zuerst in seiner Dissertation formuliert, die 1951 unter dem Titel„Social Choice and Individual Values“ als Buch erschienen ist.

The theorem is named after Johann Radon, who proved the theorem for the special case where the underlying space is in 1913, and for Otto Nikodym who proved the general case in 1930.
Benannt ist der Satz nach dem österreichischen Mathematiker Johann Radon, der 1913 den Spezialfall formula_3 bewiesen hat, und nach Otton Marcin Nikodým, der den allgemeinen Fall 1930 bewiesen hat.

This was my reasoning: Fermat's Theorem is a generalization of Pythagoras' Theorem, which asserts that the sum of areas of the squares drawn on the legs(short sides) of a right triangle equals the area of a square drawn on the hypotenuse of the same right triangle a^2+ b^2 c^2.
Dies war mein Gedankengang: Fermat·s Theorem ist eine Verallgemeinerung des Satzes von Pythagoras. Dieser besagt, dass bei einem rechtwinkligen Dreieck die Summen der Längen der Katheten zum Quadrat gleich der Länge der Hypotenuse zum Quadrat ist. a^2+ b^2 c^2.

This theorem was formulated and proved by René Thom in his famous 1952 thesis.
Der Satz wurde von René Thom in seiner Dissertation 1952 bewiesen.

The theorem was first mentioned in 1840 in a letter by C. L. Lehmus to C. Sturm, in which he asked for a purely geometric proof.
Der Satz wurde zum ersten Mal 1840 in einem Brief von C. L. Lehmus an Charles-François Sturm erwähnt, in welchem dieser C. Sturm um einen elementargeometrischen Beweis der Aussage bat.

This theorem was the start of the qualitative theory of dynamical systems, but is only valid in a plane.
Dieser Lehrsatz war der Anfang der qualitativen Theorie dynamischer Systeme.

William Dembski's treatment of the No Free Lunch theorems is written in jello by No Free Lunch theorems co-founder, David Wolpert* The Evolution List- Genetic ID and the Explanatory Filter by Allen MacNeill.
William Dembski's treatment of the No Free Lunch theorems is written in jello von David Wolpert== Quellen und Anmerkungen.

The theorem was proven for two dimensions by Henri Poincaré and later generalized to higher dimensions by Heinz Hopf.
Für zwei Dimensionen wurde die Aussage von Poincaré bewiesen und später von Hopf für höhere Dimensionen verallgemeinert.

The only part I remember which gave me much delight were those theorems is that the word?
Der einzige Teil Ich erinnere mich, die mir viel Freude waren die Theoreme liegt darin, dass das Wort?

This theorem was conjectured in the 18th century, but it was not proved until 1896, when Hadamard and(independently) Charles de la Vallée Poussin, used complex analysis.
Dieser Satz wurde vermutete im 18 Jh., aber es war nicht erwiesen, bis 1896, als Hadamard und(selbstständig) Charles de la Vallée Poussin, komplexe Analyse verwendet.

The theorem was conjectured in the 18th century, Chebyshev himself came close to a proof, but it was not proved until 1896, when Hadamard and de la Vallée Poussin independently proved it using complex analysis.
Der Satz wurde vermutete im 18 Jh., Tschebyschow selbst kam nah an ein Beweis, aber es war nicht erwiesen, bis 1896, als Hadamard und de la Vallée Poussin unabhängig erwies es mit komplexen Analyse.

This theorem was proven so clear and succinctly[2], that it was accepted without further ado by all authors who(until recently) have commented on the relative-rigidity question, and this was independent of the position taken by the authors at other occasions regarding the rigidity problem.
Dieses Theorem wurde so durchsichtig und bündig bewiesen[2], daß es von allen Autoren, die sich bis vor kurzem zur Relativ-Starrheitsfrage äußerten, ohne weiteres akzeptiert wurde, und zwar unabhängig davon, welchen Standpunkt die betreffenden Autoren sonst zum Starrheitsproblem einnehmen.

He fully recognised the justice and correctness of Weierstrass 's critique, but he said, as Weierstrass once told me, that he appealed to Dirichlet 's Principle only as a convenient tool that was right at hand, and that his existence theorems are still correct.
Er voll anerkannt der Gerechtigkeit und Korrektheit der Weierstraß's Kritik, aber er sagte, als Weierstraß-sagte einmal zu mir, dass er appellierte an Dirichlet' s grundsätzlich nur als geeignetes Mittel, das war richtig in der Hand, und dass seine Existenz Theoreme sind nach wie vor richtig.