% Preset names for use with cleveref \NameTheorem { application } { , heading = { , english = Application , french = Application , ngerman = Anwendung , italian = Applicazione , portuguese = Aplicação , brazilian = Aplicação , spanish = Aplicación , schinese = 应用 , tchinese = 應用 , japanese = 応用 , russian = Применение } , crefname = { , english = {application}{applications} , french = [l']{application}[les]{applications} , ngerman = { {Anwendung}{Anwendungen} , Nominativ = [die]{Anwendung}[die]{Anwendungen} , Genitiv = [der]{Anwendung}[der]{Anwendungen} , Dativ = [der]{Anwendung}[den]{Anwendungen} , Akkusativ = [die]{Anwendung}[die]{Anwendungen} } , italian = [l']{applicazione}[le]{applicazioni} , portuguese = [a]{aplicação}[as]{aplicações} , brazilian = [a]{aplicação}[as]{aplicações} , spanish = [la]{aplicación}[las]{aplicaciones} , schinese = {应用}{应用} , tchinese = {應用}{應用} , japanese = {応用}{応用} , russian = {применение}{приложения} } , Crefname = { , english = {Application}{Applications} , french = [L']{application}[Les]{applications} , ngerman = { {Anwendung}{Anwendungen} , Nominativ = [Die]{Anwendung}[Die]{Anwendungen} , Genitiv = [Der]{Anwendung}[Der]{Anwendungen} , Dativ = [Der]{Anwendung}[Den]{Anwendungen} , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen} } , italian = [L']{applicazione}[Le]{applicazioni} , portuguese = [A]{aplicação}[As]{aplicações} , brazilian = [A]{aplicação}[As]{aplicações} , spanish = [La]{aplicación}[Las]{aplicaciones} , schinese = {应用}{应用} , tchinese = {應用}{應用} , japanese = {応用}{応用} , russian = {Применение}{Приложения} } } \NameTheorem { assertion } { , heading = { , english = Assertion , french = Assertion , ngerman = Assertion , italian = Asserzione , portuguese = Asserção , brazilian = Asserção , spanish = Aserción , schinese = 断言 , tchinese = 斷言 , japanese = 断言 , russian = Утверждение } , crefname = { , english = {assertion}{assertions} , french = [l']{assertion}[les]{assertions} , ngerman = { {Assertion}{Assertionen} , Nominativ = [die]{Assertion}[die]{Assertionen} , Genitiv = [der]{Assertion}[der]{Assertionen} , Dativ = [der]{Assertion}[den]{Assertionen} , Akkusativ = [die]{Assertion}[die]{Assertionen} } , italian = [l']{asserzione}[le]{asserzioni} , portuguese = [a]{asserção}[as]{asserções} , brazilian = [a]{asserção}[as]{asserções} , spanish = [la]{aserción}[las]{aserciones} , schinese = {断言}{断言} , tchinese = {斷言}{斷言} , japanese = {断言}{断言} , russian = {утверждение}{утверждения} } , Crefname = { , english = {Assertion}{Assertions} , french = [L']{assertion}[Les]{assertions} , ngerman = { {Assertion}{Assertionen} , Nominativ = [Die]{Assertion}[Die]{Assertionen} , Genitiv = [Der]{Assertion}[Der]{Assertionen} , Dativ = [Der]{Assertion}[Den]{Assertionen} , Akkusativ = [Die]{Assertion}[Die]{Assertionen} } , italian = [L']{asserzione}[Le]{asserzioni} , portuguese = [A]{asserção}[As]{asserções} , brazilian = [A]{asserção}[As]{asserções} , spanish = [La]{aserción}[Las]{aserciones} , schinese = {断言}{断言} , tchinese = {斷言}{斷言} , japanese = {断言}{断言} , russian = {Утверждение}{Утверждения} } } \NameTheorem { assumption } { , heading = { , english = Assumption , french = Supposition , ngerman = Annahme , italian = Supposizione , portuguese = Suposição , brazilian = Suposição , spanish = Suposición , schinese = 假定 , tchinese = 假定 , japanese = 仮定 , russian = Предположение } , crefname = { , english = {assumption}{assumptions} , french = [la]{supposition}[les]{suppositions} , ngerman = { {Annahme}{Annahmen} , Nominativ = [die]{Annahme}[die]{Annahmen} , Genitiv = [der]{Annahme}[der]{Annahmen} , Dativ = [der]{Annahme}[den]{Annahmen} , Akkusativ = [die]{Annahme}[die]{Annahmen} } , italian = [la]{supposizione}[le]{supposizioni} , portuguese = [a]{suposição}[as]{suposições} , brazilian = [a]{suposição}[as]{suposições} , spanish = [la]{suposición}[las]{suposiciones} , schinese = {假定}{假定} , tchinese = {假定}{假定} , japanese = {仮定}{仮定} , russian = {предположение}{предположения} } , Crefname = { , english = {Assumption}{Assumptions} , french = [La]{supposition}[Les]{suppositions} , ngerman = { {Annahme}{Annahmen} , Nominativ = [Die]{Annahme}[Die]{Annahmen} , Genitiv = [Der]{Annahme}[Der]{Annahmen} , Dativ = [Der]{Annahme}[Den]{Annahmen} , Akkusativ = [Die]{Annahme}[Die]{Annahmen} } , italian = [la]{supposizione}[le]{supposizioni} , portuguese = [A]{suposição}[As]{suposições} , brazilian = [A]{suposição}[As]{suposições} , spanish = [La]{suposición}[Las]{suposiciones} , schinese = {假定}{假定} , tchinese = {假定}{假定} , japanese = {仮定}{仮定} , russian = {Предположение}{Предположения} } } \NameTheorem { axiom } { , heading = { , english = Axiom , french = Axiome , ngerman = Axiom , italian = Assioma , portuguese = Axioma , brazilian = Axioma , spanish = Axioma , schinese = 公理 , tchinese = 公理 , japanese = 公理 , russian = Аксиома } , crefname = { , english = {axiom}{axioms} , french = [l']{axiome}[les]{axiomes} , ngerman = { {Axiom}{Axiome} , Nominativ = [das]{Axiom}[die]{Axiome} , Genitiv = [des]{Axioms}[der]{Axiome} , Dativ = [dem]{Axiom}[den]{Axiomen} , Akkusativ = [das]{Axiom}[die]{Axiome} } , italian = [l']{assioma}[gli]{assiomi} , portuguese = [o]{axioma}[os]{axiomas} , brazilian = [o]{axioma}[os]{axiomas} , spanish = [el]{axioma}[los]{axiomas} , schinese = {公理}{公理} , tchinese = {公理}{公理} , japanese = {公理}{公理} , russian = {аксиома}{аксиомы} } , Crefname = { , english = {Axiom}{Axioms} , french = [L']{axiome}[Les]{axiomes} , ngerman = { {Axiom}{Axiome} , Nominativ = [Das]{Axiom}[Die]{Axiome} , Genitiv = [Des]{Axioms}[Der]{Axiome} , Dativ = [Dem]{Axiom}[Den]{Axiomen} , Akkusativ = [Das]{Axiom}[Die]{Axiome} } , italian = [L']{assioma}[Gli]{assiomi} , portuguese = [O]{axioma}[Os]{axiomas} , brazilian = [O]{axioma}[Os]{axiomas} , spanish = [El]{axioma}[Los]{axiomas} , schinese = {公理}{公理} , tchinese = {公理}{公理} , japanese = {公理}{公理} , russian = {Аксиома}{Аксиомы} } } \NameTheorem { claim } { , heading = { , english = Claim , french = Affirmation , ngerman = Behauptung , italian = Affermazione , portuguese = Afirmação , brazilian = Afirmação , spanish = Afirmación , schinese = 断言 , tchinese = 斷言 , japanese = 断言 , russian = Утверждение } , crefname = { , english = {claim}{claims} , french = [l']{affirmation}[les]{affirmations} , ngerman = { {Behauptung}{Behauptungen} , Nominativ = [die]{Behauptung}[die]{Behauptungen} , Genitiv = [der]{Behauptung}[der]{Behauptungen} , Dativ = [der]{Behauptung}[den]{Behauptungen} , Akkusativ = [die]{Behauptung}[die]{Behauptungen} } , italian = [l']{affermazione}[le]{affermazioni} , portuguese = [a]{afirmação}[as]{afirmações} , brazilian = [a]{afirmação}[as]{afirmações} , spanish = [la]{afirmación}[las]{afirmaciones} , schinese = {断言}{断言} , tchinese = {斷言}{斷言} , japanese = {断言}{断言} , russian = {утверждение}{утверждения} } , Crefname = { , english = {Claim}{Claims} , french = [L']{affirmation}[Les]{affirmations} , ngerman = { {Behauptung}{Behauptungen} , Nominativ = [Die]{Behauptung}[Die]{Behauptungen} , Genitiv = [Der]{Behauptung}[Der]{Behauptungen} , Dativ = [Der]{Behauptung}[Den]{Behauptungen} , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen} } , italian = [L']{affermazione}[Le]{affermazioni} , portuguese = [A]{afirmação}[As]{afirmações} , brazilian = [A]{afirmação}[As]{afirmações} , spanish = [La]{afirmación}[Las]{afirmaciones} , schinese = {断言}{断言} , tchinese = {斷言}{斷言} , japanese = {断言}{断言} , russian = {Утверждение}{Утверждения} } } \NameTheorem { commentary } { , heading = { , english = Commentary , french = Commentaire , ngerman = Kommentar , italian = Commento , portuguese = Comentário , brazilian = Comentário , spanish = Comentario , schinese = 解说 , tchinese = 解說 , japanese = 解説 % コメント , russian = Комментарий } , crefname = { , english = {commentary}{commentaries} , french = [le]{commentaire}[les]{commentaires} , ngerman = { {Kommentar}{Kommentare} , Nominativ = [der]{Kommentar}[die]{Kommentare} , Genitiv = [des]{Kommentars}[der]{Kommentare} , Dativ = [dem]{Kommentar}[den]{Kommentaren} , Akkusativ = [den]{Kommentar}[die]{Kommentare} } , italian = [il]{commento}[i]{commenti} , portuguese = [o]{comentário}[os]{comentários} , brazilian = [o]{comentário}[os]{comentários} , spanish = [el]{comentario}[los]{comentarios} , schinese = {解说}{解说} , tchinese = {解說}{解說} , japanese = {解説}{解説} , russian = {комментарий}{комментарии} } , Crefname = { , english = {Commentary}{Commentaries} , french = [Le]{commentaire}[Les]{commentaires} , ngerman = { {Kommentar}{Kommentare} , Nominativ = [Der]{Kommentar}[Die]{Kommentare} , Genitiv = [Des]{Kommentars}[Der]{Kommentare} , Dativ = [Dem]{Kommentar}[Den]{Kommentaren} , Akkusativ = [Den]{Kommentar}[Die]{Kommentare} } , italian = [Il]{commento}[I]{commenti} , portuguese = [O]{comentário}[Os]{comentários} , brazilian = [O]{comentário}[Os]{comentários} , spanish = [El]{comentario}[Los]{comentarios} , schinese = {解说}{解说} , tchinese = {解說}{解說} , japanese = {解説}{解説} , russian = {Комментарий}{Комментарии} } } \NameTheorem { conclusion } { , heading = { , english = Conclusion , french = Conclusion , ngerman = Schlussfolgerung , italian = Conclusione , portuguese = Conclusão , brazilian = Conclusão , spanish = Conclusión , schinese = 结论 , tchinese = 結論 , japanese = 結論 , russian = Вывод } , crefname = { , english = {conclusion}{conclusions} , french = [la]{conclusion}[Les]{conclusions} , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} , Genitiv = [der]{Schlussfolgerung}[der]{Schlussfolgerungen} , Dativ = [der]{Schlussfolgerung}[den]{Schlussfolgerungen} , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen} } , italian = [la]{conclusione}[le]{conclusioni} , portuguese = [a]{conclusão}[as]{conclusões} , brazilian = [a]{conclusão}[as]{conclusões} , spanish = [la]{conclusión}[las]{conclusiones} , schinese = {结论}{结论} , tchinese = {結論}{結論} , japanese = {結論}{結論} , russian = {вывод}{выводы} } , Crefname = { , english = {Conclusion}{Conclusions} , french = [La]{conclusion}[Les]{conclusions} , ngerman = { {Schlussfolgerung}{Schlussfolgerungen} , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} , Genitiv = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen} , Dativ = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen} , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen} } , italian = [La]{conclusione}[Le]{conclusioni} , portuguese = [A]{conclusão}[As]{conclusões} , brazilian = [A]{conclusão}[As]{conclusões} , spanish = [La]{conclusión}[Las]{conclusiones} , schinese = {结论}{结论} , tchinese = {結論}{結論} , japanese = {結論}{結論} , russian = {Вывод}{Выводы} } } \NameTheorem { conjecture } { , heading = { , english = Conjecture , french = Conjecture , ngerman = Vermutung , italian = Congettura , portuguese = Conjetura , brazilian = Conjectura , spanish = Conjetura , schinese = 猜想 , tchinese = 猜想 , japanese = 予想 , russian = Гипотеза } , crefname = { , english = {conjecture}{conjectures} , french = [la]{conjecture}[les]{conjectures} , ngerman = { {Vermutung}{Vermutungen} , Nominativ = [die]{Vermutung}[die]{Vermutungen} , Genitiv = [der]{Vermutung}[der]{Vermutungen} , Dativ = [der]{Vermutung}[den]{Vermutungen} , Akkusativ = [die]{Vermutung}[die]{Vermutungen} } , italian = [la]{congettura}[le]{congetture} , portuguese = [a]{conjetura}[as]{conjeturas} , brazilian = [a]{conjectura}[as]{conjecturas} , spanish = [la]{conjetura}[las]{conjeturas} , schinese = {猜想}{猜想} , tchinese = {猜想}{猜想} , japanese = {予想}{予想} , russian = {гипотеза}{гипотезы} } , Crefname = { , english = {Conjecture}{Conjectures} , french = [La]{conjecture}[Les]{conjectures} , ngerman = { {Vermutung}{Vermutungen} , Nominativ = [Die]{Vermutung}[Die]{Vermutungen} , Genitiv = [Der]{Vermutung}[Der]{Vermutungen} , Dativ = [Der]{Vermutung}[Den]{Vermutungen} , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen} } , italian = [La]{congettura}[Le]{congetture} , portuguese = [A]{conjetura}[As]{conjeturas} , brazilian = [A]{conjectura}[As]{conjecturas} , spanish = [La]{conjetura}[Las]{conjeturas} , schinese = {猜想}{猜想} , tchinese = {猜想}{猜想} , japanese = {予想}{予想} , russian = {Гипотеза}{Гипотезы} } } \NameTheorem { construction } { , heading = { , english = Construction , french = Construction , ngerman = Konstruktion , italian = Costruzione , portuguese = Construção , brazilian = Construção , spanish = Construcción , schinese = 构造 , tchinese = 構造 , japanese = 構造 , russian = Конструкция } , crefname = { , english = {construction}{constructions} , french = [la]{construction}[les]{constructions} , ngerman = { {Konstruktion}{Konstruktionen} , Nominativ = [die]{Konstruktion}[die]{Konstruktionen} , Genitiv = [der]{Konstruktion}[der]{Konstruktionen} , Dativ = [der]{Konstruktion}[den]{Konstruktionen} , Akkusativ = [die]{Konstruktion}[die]{Konstruktionen} } , italian = [la]{costruzione}[le]{costruzioni} , portuguese = [a]{construção}[as]{construções} , brazilian = [a]{construção}[as]{construções} , spanish = [la]{construcción}[las]{construcciones} , schinese = {构造}{构造} , tchinese = {構造}{構造} , japanese = {構造}{構造} , russian = {конструкция}{конструкции} } , Crefname = { , english = {Construction}{Constructions} , french = [La]{construction}[Les]{constructions} , ngerman = { {Konstruktion}{Konstruktionen} , Nominativ = [Die]{Konstruktion}[Die]{Konstruktionen} , Genitiv = [Der]{Konstruktion}[Der]{Konstruktionen} , Dativ = [Der]{Konstruktion}[Den]{Konstruktionen} , Akkusativ = [Die]{Konstruktion}[Die]{Konstruktionen} } , italian = [La]{costruzione}[Le]{costruzioni} , portuguese = [A]{construção}[As]{construções} , brazilian = [A]{construção}[As]{construções} , spanish = [La]{construcción}[Las]{construcciones} , schinese = {构造}{构造} , tchinese = {構造}{構造} , japanese = {構造}{構造} , russian = {Конструкция}{Конструкции} } } \NameTheorem { convention } { , heading = { , english = Convention , french = Convention , ngerman = Konvention , italian = Convenzione , portuguese = Convenção , brazilian = Convenção , spanish = Convención , schinese = 约定 , tchinese = 約定 , japanese = 慣例 , russian = Конвенция } , crefname = { , english = {convention}{conventions} , french = [la]{convention}[les]{conventions} , ngerman = { {Konvention}{Konventionen} , Nominativ = [die]{Konvention}[die]{Konventionen} , Genitiv = [der]{Konvention}[der]{Konventionen} , Dativ = [der]{Konvention}[den]{Konventionen} , Akkusativ = [die]{Konvention}[die]{Konventionen} } , italian = [la]{convenzione}[le]{convenzioni} , portuguese = [a]{convenção}[as]{convenções} , brazilian = [a]{convenção}[as]{convenções} , spanish = [la]{convención}[las]{convenciones} , schinese = {约定}{约定} , tchinese = {約定}{約定} , japanese = {慣例}{慣例} , russian = {конвенция}{конвенции} } , Crefname = { , english = {Convention}{Conventions} , french = [La]{convention}[Les]{conventions} , ngerman = { {Konvention}{Konventionen} , Nominativ = [Die]{Konvention}[Die]{Konventionen} , Genitiv = [Der]{Konvention}[Der]{Konventionen} , Dativ = [Der]{Konvention}[Den]{Konventionen} , Akkusativ = [Die]{Konvention}[Die]{Konventionen} } , italian = [La]{convenzione}[Le]{convenzioni} , portuguese = [A]{convenção}[As]{convenções} , brazilian = [A]{convenção}[As]{convenções} , spanish = [La]{convención}[Las]{convenciones} , schinese = {约定}{约定} , tchinese = {約定}{約定} , japanese = {慣例}{慣例} , russian = {Конвенция}{Конвенции} } } \NameTheorem { corollary } { , heading = { , english = Corollary , french = Corollaire , ngerman = Korollar , italian = Corollario , portuguese = Corolário , brazilian = Corolário , spanish = Corolario , schinese = 推论 , tchinese = 推論 , japanese = 系 , russian = Следствие } , crefname = { , english = {corollary}{corollaries} , french = [le]{corollaire}[les]{corollaires} , ngerman = { {Korollar}{Korollare} , Nominativ = [das]{Korollar}[die]{Korollare} , Genitiv = [des]{Korollars}[der]{Korollare} , Dativ = [dem]{Korollar}[den]{Korollaren} , Akkusativ = [das]{Korollar}[die]{Korollare} } , italian = [il]{corollario}[i]{corollari} , portuguese = [o]{corolário}[os]{corolários} , brazilian = [o]{corolário}[os]{corolários} , spanish = [el]{corolario}[los]{corolarios} , schinese = {推论}{推论} , tchinese = {推論}{推論} , japanese = {系}{系} , russian = {следствие}{следствия} } , Crefname = { , english = {Corollary}{Corollaries} , french = [Le]{corollaire}[Les]{corollaires} , ngerman = { {Korollar}{Korollare} , Nominativ = [Das]{Korollar}[Die]{Korollare} , Genitiv = [Des]{Korollars}[Der]{Korollare} , Dativ = [Dem]{Korollar}[Den]{Korollaren} , Akkusativ = [Das]{Korollar}[Die]{Korollare} } , italian = [Il]{corollario}[I]{corollari} , portuguese = [O]{corolário}[Os]{corolários} , brazilian = [O]{corolário}[Os]{corolários} , spanish = [El]{corolario}[Los]{corolarios} , schinese = {推论}{推论} , tchinese = {推論}{推論} , japanese = {系}{系} , russian = {Следствие}{Следствия} } } \NameTheorem { definition } { , heading = { , english = Definition , french = Définition , ngerman = Definition , italian = Definizione , portuguese = Definição , brazilian = Definição , spanish = Definición , schinese = 定义 , tchinese = 定義 , japanese = 定義 , russian = Определение } , crefname = { , english = {definition}{definitions} , french = [la]{définition}[les]{définitions} , ngerman = { {Definition}{Definitionen} , Nominativ = [die]{Definition}[die]{Definitionen} , Genitiv = [der]{Definition}[der]{Definitionen} , Dativ = [der]{Definition}[den]{Definitionen} , Akkusativ = [die]{Definition}[die]{Definitionen} } , italian = [la]{definizione}[le]{definizioni} , portuguese = [a]{definição}[as]{definições} , brazilian = [a]{definição}[as]{definições} , spanish = [la]{definición}[las]{definiciones} , schinese = {定义}{定义} , tchinese = {定義}{定義} , japanese = {定義}{定義} , russian = {определение}{определения} } , Crefname = { , english = {Definition}{Definitions} , french = [La]{définition}[Les]{définitions} , ngerman = { {Definition}{Definitionen} , Nominativ = [Die]{Definition}[Die]{Definitionen} , Genitiv = [Der]{Definition}[Der]{Definitionen} , Dativ = [Der]{Definition}[Den]{Definitionen} , Akkusativ = [Die]{Definition}[Die]{Definitionen} } , italian = [La]{definizione}[Le]{definizioni} , portuguese = [A]{definição}[As]{definições} , brazilian = [A]{definição}[As]{definições} , spanish = [La]{definición}[Las]{definiciones} , schinese = {定义}{定义} , tchinese = {定義}{定義} , japanese = {定義}{定義} , russian = {Определение}{Определения} } } \NameTheorem { example } { , heading = { , english = Example , french = Exemple , ngerman = Beispiel , italian = Esempio , portuguese = Exemplo , brazilian = Exemplo , spanish = Ejemplo , schinese = 例 , tchinese = 例 , japanese = 例 , russian = Пример } , crefname = { , english = {example}{examples} , french = [l']{exemple}[les]{exemples} , ngerman = { {Beispiel}{Beispiele} , Nominativ = [das]{Beispiel}[die]{Beispiele} , Genitiv = [des]{Beispiels}[der]{Beispiele} , Dativ = [dem]{Beispiel}[den]{Beispielen} , Akkusativ = [das]{Beispiel}[die]{Beispiele} } , italian = [l']{esempio}[gli]{esempi} , portuguese = [o]{exemplo}[os]{exemplos} , brazilian = [o]{exemplo}[os]{exemplos} , spanish = [el]{ejemplo}[los]{ejemplos} , schinese = {例}{例} , tchinese = {例}{例} , japanese = {例}{例} , russian = {пример}{примеры} } , Crefname = { , english = {Example}{Examples} , french = [L']{exemple}[Les]{exemples} , ngerman = { {Beispiel}{Beispiele} , Nominativ = [Das]{Beispiel}[Die]{Beispiele} , Genitiv = [Des]{Beispiels}[Der]{Beispiele} , Dativ = [Dem]{Beispiel}[Den]{Beispielen} , Akkusativ = [Das]{Beispiel}[Die]{Beispiele} } , italian = [L']{esempio}[Gli]{esempi} , portuguese = [O]{exemplo}[Os]{exemplos} , brazilian = [O]{exemplo}[Os]{exemplos} , spanish = [El]{ejemplo}[Los]{ejemplos} , schinese = {例}{例} , tchinese = {例}{例} , japanese = {例}{例} , russian = {Пример}{Примеры} } } \NameTheorem { exercise } { , heading = { , english = Exercise , french = Exercice , ngerman = Übung , italian = Esercizio , portuguese = Exercício , brazilian = Exercício , spanish = Ejercicio , schinese = 习题 , tchinese = 習題 , japanese = 練習 , russian = Упражнение } , crefname = { , english = {exercise}{exercises} , french = [l']{exercice}[les]{exercices} , ngerman = { {Übung}{Übungen} , Nominativ = [die]{Übung}[die]{Übungen} , Genitiv = [der]{Übung}[der]{Übungen} , Dativ = [der]{Übung}[den]{Übungen} , Akkusativ = [die]{Übung}[die]{Übungen} } , italian = [l']{esercizio}[gli]{esercizi} , portuguese = [o]{exercício}[os]{exercícios} , brazilian = [o]{exercício}[os]{exercícios} , spanish = [el]{ejercicio}[los]{ejercicios} , schinese = {习题}{习题} , tchinese = {習題}{習題} , japanese = {練習}{練習} , russian = {упражнение}{упражнения} } , Crefname = { , english = {Exercise}{Exercises} , french = [L']{exercice}[Les]{exercices} , ngerman = { {Übung}{Übungen} , Nominativ = [Die]{Übung}[Die]{Übungen} , Genitiv = [Der]{Übung}[Der]{Übungen} , Dativ = [Der]{Übung}[Den]{Übungen} , Akkusativ = [Die]{Übung}[Die]{Übungen} } , italian = [L']{esercizio}[Gli]{esercizi} , portuguese = [O]{exercício}[Os]{exercícios} , brazilian = [O]{exercício}[Os]{exercícios} , spanish = [El]{ejercicio}[Los]{ejercicios} , schinese = {习题}{习题} , tchinese = {習題}{習題} , japanese = {練習}{練習} , russian = {Упражнение}{Упражнения} } } \NameTheorem { fact } { , heading = { , english = Fact , french = Fait , ngerman = Tatsache , italian = Fatto , portuguese = Facto , brazilian = Fato , spanish = Hecho , schinese = 事实 , tchinese = 事實 , japanese = 事実 , russian = Факт } , crefname = { , english = {fact}{facts} , french = [le]{fait}[les]{faits} , ngerman = { {Tatsache}{Tatsachen} , Nominativ = [die]{Tatsache}[die]{Tatsachen} , Genitiv = [der]{Tatsache}[der]{Tatsachen} , Dativ = [der]{Tatsache}[den]{Tatsachen} , Akkusativ = [die]{Tatsache}[die]{Tatsachen} } , italian = [il]{fatto}[i]{fatti} , portuguese = [o]{facto}[os]{factos} , brazilian = [o]{fato}[os]{fatos} , spanish = [el]{hecho}[los]{hechos} , schinese = {事实}{事实} , tchinese = {事實}{事實} , japanese = {事実}{事実} , russian = {факт}{факты} } , Crefname = { , english = {Fact}{Facts} , french = [Le]{fait}[Les]{faits} , ngerman = { {Tatsache}{Tatsachen} , Nominativ = [Die]{Tatsache}[Die]{Tatsachen} , Genitiv = [Der]{Tatsache}[Der]{Tatsachen} , Dativ = [Der]{Tatsache}[Den]{Tatsachen} , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen} } , italian = [Il]{fatto}[I]{fatti} , portuguese = [O]{facto}[Os]{factos} , brazilian = [O]{fato}[Os]{fatos} , spanish = [El]{hecho}[Los]{hechos} , schinese = {事实}{事实} , tchinese = {事實}{事實} , japanese = {事実}{事実} , russian = {Факт}{Факты} } } \NameTheorem { hypothesis } { , heading = { , english = Hypothesis , french = Hypothèse , ngerman = Hypothese , italian = Ipotesi , portuguese = Hipótese , brazilian = Hipótese , spanish = Hipótesis , schinese = 假设 , tchinese = 假設 , japanese = 仮設 , russian = Гипотеза } , crefname = { , english = {hypothesis}{hypotheses} , french = [l']{hypothèse}[les]{hypothèses} , ngerman = { {Hypothese}{Hypothesen} , Nominativ = [die]{Hypothese}[die]{Hypothesen} , Genitiv = [der]{Hypothese}[der]{Hypothesen} , Dativ = [der]{Hypothese}[den]{Hypothesen} , Akkusativ = [die]{Hypothese}[die]{Hypothesen} } , italian = [l']{ipotesi}[le]{ipotesi} , portuguese = [a]{hipótese}[as]{hipóteses} , brazilian = [a]{hipótese}[as]{hipóteses} , spanish = [la]{hipótesis}[las]{hipótesis} , schinese = {假设}{假设} , tchinese = {假設}{假設} , japanese = {仮設}{仮設} , russian = {гипотеза}{гипотезы} } , Crefname = { , english = {Hypothesis}{Hypotheses} , french = [L']{hypothèse}[Les]{hypothèses} , ngerman = { {Hypothese}{Hypothesen} , Nominativ = [Die]{Hypothese}[Die]{Hypothesen} , Genitiv = [Der]{Hypothese}[Der]{Hypothesen} , Dativ = [Der]{Hypothese}[Den]{Hypothesen} , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen} } , italian = [L']{ipotesi}[Le]{ipotesi} , portuguese = [A]{hipótese}[As]{hipóteses} , brazilian = [A]{hipótese}[As]{hipóteses} , spanish = [La]{hipótesis}[Las]{hipótesis} , schinese = {假设}{假设} , tchinese = {假設}{假設} , japanese = {仮設}{仮設} , russian = {Гипотеза}{Гипотезы} } } \NameTheorem { lemma } { , heading = { , english = Lemma , french = Lemme , ngerman = Lemma , italian = Lemma , portuguese = Lema , brazilian = Lema , spanish = Lema , schinese = 引理 , tchinese = 引理 , japanese = 補題 , russian = Лемма } , crefname = { , english = {lemma}{Lemmas} , french = [le]{lemme}[les]{lemmes} , ngerman = { {Lemma}{Lemmata} , Nominativ = [das]{Lemma}[die]{Lemmata} , Genitiv = [des]{Lemmas}[der]{Lemmata} , Dativ = [dem]{Lemma}[den]{Lemmata} , Akkusativ = [das]{Lemma}[die]{Lemmata} } , italian = [il]{lemma}[i]{lemmi} , portuguese = [o]{lema}[os]{lemas} , brazilian = [o]{lema}[os]{lemas} , spanish = [el]{lema}[las]{lemas} , schinese = {引理}{引理} , tchinese = {引理}{引理} , japanese = {補題}{補題} , russian = {лемма}{леммы} } , Crefname = { , english = {Lemma}{Lemmas} , french = [Le]{lemme}[Les]{lemmes} , ngerman = { {Lemma}{Lemmata} , Nominativ = [Das]{Lemma}[Die]{Lemmata} , Genitiv = [Des]{Lemmas}[Der]{Lemmata} , Dativ = [Dem]{Lemma}[Den]{Lemmata} , Akkusativ = [Das]{Lemma}[Die]{Lemmata} } , italian = [Il]{lemma}[I]{lemmi} , portuguese = [O]{lema}[Os]{lemas} , brazilian = [O]{lema}[Os]{lemas} , spanish = [el]{lema}[las]{lemas} , schinese = {引理}{引理} , tchinese = {引理}{引理} , japanese = {補題}{補題} , russian = {Лемма}{Леммы} } } \NameTheorem { motivation } { , heading = { , english = Motivation , french = Motivation , ngerman = Motivation , italian = Motivazione , portuguese = Motivação , brazilian = Motivação , spanish = Motivacion , schinese = 动机 , tchinese = 動機 , japanese = 動機 % モチベーション , russian = Мотивация } , crefname = { , english = {motivation}{motivations} , french = [la]{motivation}[les]{motivations} , ngerman = { {Motivation}{Motivationen} , Nominativ = [die]{Motivation}[die]{Motivationen} , Genitiv = [der]{Motivation}[der]{Motivationen} , Dativ = [der]{Motivation}[den]{Motivationen} , Akkusativ = [die]{Motivation}[die]{Motivationen} } , italian = [la]{motivazione}[le]{motivazioni} , portuguese = [a]{motivação}[as]{motivações} , brazilian = [a]{motivação}[as]{motivações} , spanish = [la]{motivacion}[las]{motivaciones} , schinese = {动机}{动机} , tchinese = {動機}{動機} , japanese = {動機}{動機} , russian = {мотивация}{мотивации} } , Crefname = { , english = {Motivation}{Motivations} , french = [La]{motivation}[Les]{motivations} , ngerman = { {Motivation}{Motivationen} , Nominativ = [Die]{Motivation}[Die]{Motivationen} , Genitiv = [Der]{Motivation}[Der]{Motivationen} , Dativ = [Der]{Motivation}[Den]{Motivationen} , Akkusativ = [Die]{Motivation}[Die]{Motivationen} } , italian = [La]{motivazione}[Le]{motivazioni} , portuguese = [A]{motivação}[As]{motivações} , brazilian = [A]{motivação}[As]{motivações} , spanish = [La]{motivacion}[Las]{motivaciones} , schinese = {动机}{动机} , tchinese = {動機}{動機} , japanese = {動機}{動機} , russian = {Мотивация}{Мотивации} } } \NameTheorem { notation } { , heading = { , english = Notation , french = Notation , ngerman = Notation , italian = Notazione , portuguese = Notação , brazilian = Notação , spanish = Notación , schinese = 记号 , tchinese = 記號 , japanese = 記法 , russian = Нотация } , crefname = { , english = {notation}{notations} , french = [la]{notation}[les]{notations} , ngerman = { {Notation}{Notationen} , Nominativ = [die]{Notation}[die]{Notationen} , Genitiv = [der]{Notation}[der]{Notationen} , Dativ = [der]{Notation}[den]{Notationen} , Akkusativ = [die]{Notation}[die]{Notationen} } , italian = [la]{notazione}[le]{notazioni} , portuguese = [a]{notação}[as]{notações} , brazilian = [a]{notação}[as]{notações} , spanish = [la]{notación}[las]{notaciones} , schinese = {记号}{记号} , tchinese = {記號}{記號} , japanese = {記法}{記法} , russian = {нотация}{нотации} } , Crefname = { , english = {Notation}{Notations} , french = [La]{notation}[Les]{notations} , ngerman = { {Notation}{Notationen} , Nominativ = [Die]{Notation}[Die]{Notationen} , Genitiv = [Der]{Notation}[Der]{Notationen} , Dativ = [Der]{Notation}[Den]{Notationen} , Akkusativ = [Die]{Notation}[Die]{Notationen} } , italian = [La]{notazione}[Le]{notazioni} , portuguese = [A]{notação}[As]{notações} , brazilian = [A]{notação}[As]{notações} , spanish = [La]{notación}[Las]{notaciones} , schinese = {记号}{记号} , tchinese = {記號}{記號} , japanese = {記法}{記法} , russian = {Нотация}{Нотации} } } \NameTheorem { observation } { , heading = { , english = Observation , french = Observation , ngerman = Beobachtung , italian = Osservazione , portuguese = Observação , brazilian = Observação , spanish = Observación , schinese = 观察 , tchinese = 觀察 , japanese = 観察 , russian = Наблюдение } , crefname = { , english = {observation}{observations} , french = [la]{observation}[les]{observations} , ngerman = { {Beobachtung}{Beobachtungen} , Nominativ = [die]{Beobachtung}[die]{Beobachtungen} , Genitiv = [der]{Beobachtung}[der]{Beobachtungen} , Dativ = [der]{Beobachtung}[den]{Beobachtungen} , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen} } , italian = [l']{osservazione}[le]{osservazioni} , portuguese = [a]{observação}[as]{observações} , brazilian = [a]{observação}[as]{observações} , spanish = [la]{observación}[las]{observaciones} , schinese = {观察}{观察} , tchinese = {觀察}{觀察} , japanese = {観察}{観察} , russian = {наблюдение}{наблюдения} } , Crefname = { , english = {Observation}{Observations} , french = [La]{observation}[Les]{observations} , ngerman = { {Beobachtung}{Beobachtungen} , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen} , Genitiv = [Der]{Beobachtung}[Der]{Beobachtungen} , Dativ = [Der]{Beobachtung}[Den]{Beobachtungen} , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen} } , italian = [L']{osservazione}[Le]{osservazioni} , portuguese = [A]{observação}[As]{observações} , brazilian = [A]{observação}[As]{observações} , spanish = [La]{observación}[Las]{observaciones} , schinese = {观察}{观察} , tchinese = {觀察}{觀察} , japanese = {観察}{観察} , russian = {Наблюдение}{Наблюдения} } } \NameTheorem { postulate } { , heading = { , english = Postulate , french = Postulat , ngerman = Postulat , italian = Postulato , portuguese = Postulado , brazilian = Postulado , spanish = Postulado , schinese = 公设 , tchinese = 公設 , japanese = 公準 , russian = Постулат } , crefname = { , english = {postulate}{postulates} , french = [le]{postulat}[les]{postulats} , ngerman = { {Postulat}{Postulate} , Nominativ = [das]{Postulat}[die]{Postulate} , Genitiv = [des]{Postulates}[der]{Postulate} , Dativ = [dem]{Postulat}[den]{Postulaten} , Akkusativ = [das]{Postulat}[die]{Postulate} } , italian = [il]{postulato}[i]{postulati} , portuguese = [o]{postulado}[os]{postulados} , brazilian = [o]{postulado}[os]{postulados} , spanish = [el]{postulado}[los]{postulados} , schinese = {公设}{公设} , tchinese = {公設}{公設} , japanese = {公準}{公準} , russian = {постулат}{постулаты} } , Crefname = { , english = {Postulate}{Postulates} , french = [Le]{postulat}[Les]{postulats} , ngerman = { {Postulat}{Postulate} , Nominativ = [Das]{Postulat}[Die]{Postulate} , Genitiv = [Des]{Postulates}[Der]{Postulate} , Dativ = [Dem]{Postulat}[Den]{Postulaten} , Akkusativ = [Das]{Postulat}[Die]{Postulate} } , italian = [Il]{postulato}[I]{postulati} , portuguese = [O]{postulado}[Os]{postulados} , brazilian = [O]{postulado}[Os]{postulados} , spanish = [El]{postulado}[Los]{postulados} , schinese = {公设}{公设} , tchinese = {公設}{公設} , japanese = {公準}{公準} , russian = {Постулат}{Постулаты} } } \NameTheorem { problem } { , heading = { , english = Problem , french = Problème , ngerman = Problem , italian = Problema , portuguese = Problema , brazilian = Problema , spanish = Problema , schinese = 问题 , tchinese = 問題 , japanese = 問題 , russian = Проблема } , crefname = { , english = {problem}{problems} , french = [le]{problème}[les]{problèmes} , ngerman = { {Problem}{Probleme} , Nominativ = [das]{Problem}[die]{Probleme} , Genitiv = [des]{Problems}[der]{Probleme} , Dativ = [dem]{Problem}[den]{Problemen} , Akkusativ = [das]{Problem}[die]{Probleme} } , italian = [il]{problema}[i]{problemi} , portuguese = [o]{problema}[os]{problemas} , brazilian = [o]{problema}[os]{problemas} , spanish = [el]{problema}[los]{problemas} , schinese = {问题}{问题} , tchinese = {問題}{問題} , japanese = {問題}{問題} , russian = {проблема}{проблемы} } , Crefname = { , english = {Problem}{Problems} , french = [Le]{problème}[Les]{problèmes} , ngerman = { {Problem}{Probleme} , Nominativ = [Das]{Problem}[Die]{Probleme} , Genitiv = [Des]{Problems}[Der]{Probleme} , Dativ = [Dem]{Problem}[Den]{Problemen} , Akkusativ = [Das]{Problem}[Die]{Probleme} } , italian = [Il]{problema}[I]{problemi} , portuguese = [O]{problema}[Os]{problemas} , brazilian = [O]{problema}[Os]{problemas} , spanish = [El]{problema}[Los]{problemas} , schinese = {问题}{问题} , tchinese = {問題}{問題} , japanese = {問題}{問題} , russian = {Проблема}{Проблемы} } } \NameTheorem { property } { , heading = { , english = Property , french = Propriété , ngerman = Eigenschaft , italian = Proprietà , portuguese = Propriedade , brazilian = Propriedade , spanish = Propiedad , schinese = 性质 , tchinese = 性質 , japanese = 性質 , russian = Имущество } , crefname = { , english = {property}{properties} , french = [la]{propriété}[les]{propriétés} , ngerman = { {Eigenschaft}{Eigenschaften} , Nominativ = [die]{Eigenschaft}[die]{Eigenschaften} , Genitiv = [der]{Eigenschaft}[der]{Eigenschaften} , Dativ = [der]{Eigenschaft}[den]{Eigenschaften} , Akkusativ = [die]{Eigenschaft}[die]{Eigenschaften} } , italian = [la]{proprietà}[le]{proprietà} , portuguese = [a]{propriedade}[as]{propriedades} , brazilian = [a]{propriedade}[as]{propriedades} , spanish = [la]{propiedad}[las]{propiedades} , schinese = {性质}{性质} , tchinese = {性質}{性質} , japanese = {性質}{性質} , russian = {имущество}{имущества} } , Crefname = { , english = {Property}{Properties} , french = [La]{propriété}[Les]{propriétés} , ngerman = { {Eigenschaft}{Eigenschaften} , Nominativ = [Die]{Eigenschaft}[Die]{Eigenschaften} , Genitiv = [Der]{Eigenschaft}[Der]{Eigenschaften} , Dativ = [Der]{Eigenschaft}[Den]{Eigenschaften} , Akkusativ = [Die]{Eigenschaft}[Die]{Eigenschaften} } , italian = [La]{proprietà}[Le]{proprietà} , portuguese = [A]{propriedade}[As]{propriedades} , brazilian = [A]{propriedade}[As]{propriedades} , spanish = [La]{propiedad}[Las]{propiedades} , schinese = {性质}{性质} , tchinese = {性質}{性質} , japanese = {性質}{性質} , russian = {Имущество}{Имущества} } } \NameTheorem { proposition } { , heading = { , english = Proposition , french = Proposition , ngerman = Proposition , italian = Proposizione , portuguese = Proposição , brazilian = Proposição , spanish = Proposición , schinese = 命题 , tchinese = 命題 , japanese = 命題 , russian = Предложение } , crefname = { , english = {proposition}{propositions} , french = [la]{proposition}[les]{propositions} , ngerman = { {Proposition}{Propositionen} , Nominativ = [die]{Proposition}[die]{Propositionen} , Genitiv = [der]{Proposition}[der]{Propositionen} , Dativ = [der]{Proposition}[den]{Propositionen} , Akkusativ = [die]{Proposition}[die]{Propositionen} } , italian = [la]{proposizione}[le]{proposte} , portuguese = [a]{proposição}[as]{proposições} , brazilian = [a]{proposição}[as]{proposições} , spanish = [la]{proposición}[las]{proposiciones} , schinese = {命题}{命题} , tchinese = {命題}{命題} , japanese = {命題}{命題} , russian = {предложение}{предложения} } , Crefname = { , english = {Proposition}{Propositions} , french = [La]{proposition}[Les]{propositions} , ngerman = { {Proposition}{Propositionen} , Nominativ = [Die]{Proposition}[Die]{Propositionen} , Genitiv = [Der]{Proposition}[Der]{Propositionen} , Dativ = [Der]{Proposition}[Den]{Propositionen} , Akkusativ = [Die]{Proposition}[Die]{Propositionen} } , italian = [La]{proposizione}[Le]{proposte} , portuguese = [A]{proposição}[As]{proposições} , brazilian = [A]{proposição}[As]{proposições} , spanish = [La]{proposición}[Las]{proposiciones} , schinese = {命题}{命题} , tchinese = {命題}{命題} , japanese = {命題}{命題} , russian = {Предложение}{Предложения} } } \NameTheorem { question } { , heading = { , english = Question , french = Question , ngerman = Frage , italian = Domanda , portuguese = Pergunta , brazilian = Pergunta , spanish = Pregunta , schinese = 问题 , tchinese = 問題 , japanese = 問題 , russian = Вопрос } , crefname = { , english = {question}{questions} , french = [la]{question}[les]{questions} , ngerman = { {Frage}{Fragen} , Nominativ = [die]{Frage}[die]{Fragen} , Genitiv = [der]{Frage}[der]{Fragen} , Dativ = [der]{Frage}[den]{Fragen} , Akkusativ = [die]{Frage}[die]{Fragen} } , italian = [la]{domanda}[le]{domande} , portuguese = [a]{pergunta}[as]{perguntas} , brazilian = [a]{pergunta}[as]{perguntas} , spanish = [la]{pregunta}[las]{preguntas} , schinese = {问题}{问题} , tchinese = {問題}{問題} , japanese = {問題}{問題} , russian = {вопрос}{вопросы} } , Crefname = { , english = {Question}{Questions} , french = [La]{question}[Les]{questions} , ngerman = { {Frage}{Fragen} , Nominativ = [Die]{Frage}[Die]{Fragen} , Genitiv = [Der]{Frage}[Der]{Fragen} , Dativ = [Der]{Frage}[Den]{Fragen} , Akkusativ = [Die]{Frage}[Die]{Fragen} } , italian = [La]{domanda}[Le]{domande} , portuguese = [A]{pergunta}[As]{perguntas} , brazilian = [A]{pergunta}[As]{perguntas} , spanish = [La]{pregunta}[Las]{preguntas} , schinese = {问题}{问题} , tchinese = {問題}{問題} , japanese = {問題}{問題} , russian = {Вопрос}{Вопросы} } } \NameTheorem { recall } { , heading = { , english = Recall , french = Rappel , ngerman = Erinnerung , italian = Richiamo , portuguese = Recordação , brazilian = Recordação , spanish = Recuerdo , schinese = 回顾 , tchinese = 回顧 , japanese = 回顧 , russian = Напоминание } , crefname = { , english = {recall}{recalls} , french = [le]{rappel}[les]{rappels} , ngerman = { {Erinnerung}{Erinnerungen} , Nominativ = [die]{Erinnerung}[die]{Erinnerungen} , Genitiv = [der]{Erinnerung}[der]{Erinnerungen} , Dativ = [der]{Erinnerung}[den]{Erinnerungen} , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen} } , italian = [il]{richiamo}[i]{richiami} , portuguese = [a]{recordação}[as]{recordações} , brazilian = [a]{recordação}[as]{recordações} , spanish = [el]{recuerdo}[los]{recuerdos} , schinese = {回顾}{回顾} , tchinese = {回顧}{回顧} , japanese = {回顧}{回顧} , russian = {напоминание}{напоминания} } , Crefname = { , english = {Recall}{Recalls} , french = [Le]{rappel}[Les]{rappels} , ngerman = { {Erinnerung}{Erinnerungen} , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen} , Genitiv = [Der]{Erinnerung}[Der]{Erinnerungen} , Dativ = [Der]{Erinnerung}[Den]{Erinnerungen} , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen} } , italian = [Il]{richiamo}[I]{richiami} , portuguese = [A]{recordação}[As]{recordações} , brazilian = [A]{recordação}[As]{recordações} , spanish = [El]{recuerdo}[Los]{recuerdos} , schinese = {回顾}{回顾} , tchinese = {回顧}{回顧} , japanese = {回顧}{回顧} , russian = {Напоминание}{Напоминания} } } \NameTheorem { remark } { , heading = { , english = Remark , french = Remarque , ngerman = Bemerkung , italian = Commento , portuguese = Comentário , brazilian = Comentário , spanish = Comentario , schinese = 备注 , tchinese = 備註 , japanese = 注釈 , russian = Замечание } , crefname = { , english = {remark}{remarks} , french = [la]{remarque}[les]{remarques} , ngerman = { {Bemerkung}{Bemerkungen} , Nominativ = [die]{Bemerkung}[die]{Bemerkungen} , Genitiv = [der]{Bemerkung}[der]{Bemerkungen} , Dativ = [der]{Bemerkung}[den]{Bemerkungen} , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen} } , italian = [il]{commento}[i]{commenti} , portuguese = [o]{comentário}[os]{comentários} , brazilian = [o]{comentário}[os]{comentários} , spanish = [el]{comentario}[los]{comentarios} , schinese = {备注}{备注} , tchinese = {備註}{備註} , japanese = {注釈}{注釈} , russian = {замечание}{замечания} } , Crefname = { , english = {Remark}{Remarks} , french = [La]{remarque}[Les]{remarques} , ngerman = { {Bemerkung}{Bemerkungen} , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen} , Genitiv = [Der]{Bemerkung}[Der]{Bemerkungen} , Dativ = [Der]{Bemerkung}[Den]{Bemerkungen} , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen} } , italian = [Il]{commento}[I]{commenti} , portuguese = [O]{comentário}[Os]{comentários} , brazilian = [O]{comentário}[Os]{comentários} , spanish = [El]{comentario}[Los]{comentarios} , schinese = {备注}{备注} , tchinese = {備註}{備註} , japanese = {注釈}{注釈} , russian = {Замечание}{Замечания} } } \NameTheorem { theorem } { , heading = { , english = Theorem , french = Théorème , ngerman = Satz , italian = Teorema , portuguese = Teorema , brazilian = Teorema , spanish = Teorema , schinese = 定理 , tchinese = 定理 , japanese = 定理 , russian = Теорема } , crefname = { , english = {theorem}{theorems} , french = [le]{théorème}[les]{théorèmes} , ngerman = { {Satz}{Sätze} , Nominativ = [der]{Satz}[die]{Sätze} , Genitiv = [des]{Satzes}[der]{Sätze} , Dativ = [dem]{Satz}[den]{Sätzen} , Akkusativ = [den]{Satz}[die]{Sätze} } , italian = [il]{teorema}[i]{teoremi} , portuguese = [o]{teorema}[os]{teoremas} , brazilian = [o]{teorema}[os]{teoremas} , spanish = [el]{teorema}[los]{teoremas} , schinese = {定理}{定理} , tchinese = {定理}{定理} , japanese = {定理}{定理} , russian = {теорема}{теоремы} } , Crefname = { , english = {Theorem}{Theorems} , french = [Le]{théorème}[Les]{théorèmes} , ngerman = { {Satz}{Sätze} , Nominativ = [Der]{Satz}[Die]{Sätze} , Genitiv = [Des]{Satzes}[Der]{Sätze} , Dativ = [Dem]{Satz}[Den]{Sätzen} , Akkusativ = [Den]{Satz}[Die]{Sätze} } , italian = [Il]{teorema}[I]{teoremi} , portuguese = [O]{teorema}[Os]{teoremas} , brazilian = [O]{teorema}[Os]{teoremas} , spanish = [El]{teorema}[Los]{teoremas} , schinese = {定理}{定理} , tchinese = {定理}{定理} , japanese = {定理}{定理} , russian = {Теорема}{Теоремы} } } \NameTheorem { definition-corollary } { combined = { definition ; corollary } } \NameTheorem { definition-lemma } { combined = { definition ; lemma } } \NameTheorem { definition-proposition } { combined = { definition ; proposition } } \NameTheorem { definition-theorem } { combined = { definition ; theorem } } \NameTheorem { corollary-definition } { combined = { corollary ; definition } } \NameTheorem { lemma-definition } { combined = { lemma ; definition } } \NameTheorem { proposition-definition } { combined = { proposition ; definition } } \NameTheorem { theorem-definition } { combined = { theorem ; definition } }