texlive[70180] branches/branch2023.final/Master/texmf-dist:

commits+karl at tug.org commits+karl at tug.org
Mon Feb 26 22:00:42 CET 2024


Revision: 70180
          https://tug.org/svn/texlive?view=revision&revision=70180
Author:   karl
Date:     2024-02-26 22:00:42 +0100 (Mon, 26 Feb 2024)
Log Message:
-----------
create-theorem (branch) (26feb24)

Modified Paths:
--------------
    branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/README.md
    branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/create-theorem-doc.pdf
    branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/create-theorem-doc.tex
    branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty

Added Paths:
-----------
    branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-cleveref.tex
    branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural-cleveref.tex

Removed Paths:
-------------
    branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex
    branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex

Modified: branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/README.md
===================================================================
--- branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/README.md	2024-02-26 21:00:29 UTC (rev 70179)
+++ branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/README.md	2024-02-26 21:00:42 UTC (rev 70180)
@@ -6,6 +6,8 @@
 
 *For more information, please refer to its documentation.*
 
+> Package dependencies: [`amsfonts`](https://ctan.org/pkg/amsfonts), [*`amsthm`*](https://ctan.org/pkg/amsthm), [`crefthe`](https://ctan.org/pkg/crefthe), [*`ntheorem`*](https://ctan.org/pkg/ntheorem).
+
 # License
 
 This work is released under the LaTeX Project Public License, v1.3c or later.

Modified: branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/create-theorem-doc.pdf
===================================================================
(Binary files differ)

Modified: branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/create-theorem-doc.tex
===================================================================
--- branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/create-theorem-doc.tex	2024-02-26 21:00:29 UTC (rev 70179)
+++ branches/branch2023.final/Master/texmf-dist/doc/latex/create-theorem/create-theorem-doc.tex	2024-02-26 21:00:42 UTC (rev 70180)
@@ -3,6 +3,8 @@
 
 \usepackage{ProjLib}
 
+\setmonofont[Scale=.9]{Iosevka}
+
 %%================================
 %% For typesetting code
 %%================================
@@ -24,7 +26,9 @@
     breaklines = true,
     frame = lines,
     backgroundcolor = \color{code-background},
-    flexiblecolumns = true,
+    % flexiblecolumns = true,
+    % columns = fixed,
+    basewidth=.5em,
     escapeinside = {(*}{*)},
     alsoletter = {_,:},
     % numbers = left,
@@ -72,8 +76,8 @@
 \lstnewenvironment{code}{\setstretch{1.05}\LocallyStopLineNumbers}{\ResumeLineNumbers\vspace{-.3\baselineskip}\vspace{-.5\parskip}}
 \lstnewenvironment{code*}{\setstretch{1.05}\lstset{numbers=left}\LocallyStopLineNumbers}{\ResumeLineNumbers\vspace{-.3\baselineskip}\vspace{-.5\parskip}}
 
-\newcommand{\packageoption}[1]{\texttt{\textcolor{code-option}{#1}}}
-\newcommand{\commandoption}[1]{\texttt{\textcolor{code-keys}{#1}}}
+\newcommand{\packageoption}[1]{\textcolor{code-option}{\texttt{#1}}}
+\newcommand{\commandoption}[1]{\textcolor{code-keys}{\texttt{#1}}}
 
 %%================================
 %% tip
@@ -107,8 +111,8 @@
 
 \begin{document}
 
-\def\PackageVersion{2024/02/20}
-\def\PackageSubVersion{a}
+\def\PackageVersion{2024/02/25}
+\def\PackageSubVersion{}
 
 \title{\createtheorempackage{}\\\smallskip\itshape Initializing and configuring theorem-like environments, with multilingual support}
 \author{Jinwen XU}
@@ -480,24 +484,24 @@
   {
     (*\commandoption{name}*) = {
         (*\commandoption{heading}*)  = { english = Idea,
-                       french = Idée,
-                       ngerman = Idee, },
+                     french = Idée,
+                     ngerman = Idee, },
         (*\commandoption{crefname}*) = { english = {idea}{ideas},
-                       french = [l']{idée}[les]{idées},
-                       ngerman = { {Idee}{Idee}
-                         , Nominativ = [die]{Idee}[die]{Ideen}
-                         , Genitiv   = [der]{Idee}[der]{Ideen}
-                         , Dativ     = [der]{Idee}[den]{Ideen}
-                         , Akkusativ = [die]{Idee}[die]{Ideen}
-                       } },
+                     french = [l']{idée}[les]{idées},
+                     ngerman = { {Idee}{Idee}
+                       , Nominativ = [die]{Idee}[die]{Ideen}
+                       , Genitiv   = [der]{Idee}[der]{Ideen}
+                       , Dativ     = [der]{Idee}[den]{Ideen}
+                       , Akkusativ = [die]{Idee}[die]{Ideen}
+                   } },
         (*\commandoption{Crefname}*) = { english = {Idea}{Ideas},
-                       french = [L']{idée}[Les]{idées},
-                       ngerman = { {Idee}{Idee}
-                         , Nominativ = [Die]{Idee}[Die]{Ideen}
-                         , Genitiv   = [Der]{Idee}[Der]{Ideen}
-                         , Dativ     = [Der]{Idee}[Den]{Ideen}
-                         , Akkusativ = [Die]{Idee}[Die]{Ideen}
-                       } },
+                     french = [L']{idée}[Les]{idées},
+                     ngerman = { {Idee}{Idee}
+                       , Nominativ = [Die]{Idee}[Die]{Ideen}
+                       , Genitiv   = [Der]{Idee}[Der]{Ideen}
+                       , Dativ     = [Der]{Idee}[Den]{Ideen}
+                       , Akkusativ = [Die]{Idee}[Die]{Ideen}
+                   } },
       },
     (*\commandoption{parent counter}*) = section,
   }
@@ -505,7 +509,7 @@
 
 With this, if you use \lstinline|\selectlanguage{french}|, the {\normalfont\texttt{idea}} environment shall be automatically displayed as \textquote{Idée}. And if you \lstinline|\crefthe| it, the definite article and the name would show up properly just as expected.
 
-The same happens for German with \lstinline|\selectlanguage{ngerman}|, and when referencing an {\normalfont\texttt{idea}} environment, you may specify the declension as with \lstinline|\crefthe[|\meta{prep}\lstinline|,variant=Nominativ]{|\meta{label}\lstinline|}|, or simply with shortcut such as \lstinline|\crefthe[|\meta{prep}\lstinline|,nom.]{|\meta{label}\lstinline|}|.
+The same happens for German with \lstinline|\selectlanguage{ngerman}|, and when referencing an {\normalfont\texttt{idea}} environment, you may specify the declension as \lstinline|\crefthe[|\meta{prep}\lstinline|,declension=Nominativ]|\lstinline|{|\meta{label}\lstinline|}|, or more simply, with a shortcut such as \lstinline|\crefthe[|\meta{prep}\lstinline|,nom.]{|\meta{label}\lstinline|}|.
 
 \begin{tip}
     For more datailed usage of the referencing command \lstinline|\crefthe|, please refer to the documentation of the package \textsf{crefthe}.
@@ -644,20 +648,20 @@
 \NameTheorems { english }
   {
     , (*\commandoption{heading}*) =   {
-                     , theorem        = Theorem
-                     , proposition    = Proposition
-                     ...
-                   }
+                    , theorem        = Theorem
+                    , proposition    = Proposition
+                    ...
+                  }
     , (*\commandoption{crefname}*) =  {
-                     , theorem        = {theorem}{theorems}
-                     , proposition    = {proposition}{propositions}
-                     ...
-                   }
+                    , theorem        = {theorem}{theorems}
+                    , proposition    = {proposition}{propositions}
+                    ...
+                  }
     , (*\commandoption{Crefname}*) =  {
-                     , theorem        = {Theorem}{Theorems}
-                     , proposition    = {Proposition}{Propositions}
-                     ...
-                   }
+                    , theorem        = {Theorem}{Theorems}
+                    , proposition    = {Proposition}{Propositions}
+                    ...
+                  }
   }
 \end{code}
 
@@ -667,23 +671,23 @@
 \NameTheorems { french }
   {
     , (*\commandoption{heading}*) =   {
-                     , theorem        = Théorème
-                     , proposition    = Proposition
-                     , example        = Exemple
-                     ...
-                   }
+                    , theorem        = Théorème
+                    , proposition    = Proposition
+                    , example        = Exemple
+                    ...
+                  }
     , (*\commandoption{crefname}*) =  {
-                     , theorem        = [le]{théorème}[les]{théorèmes}
-                     , proposition    = [la]{proposition}[les]{propositions}
-                     , example        = [l']{exemple}[les]{exemples}
-                     ...
-                   }
+                    , theorem        = [le]{théorème}[les]{théorèmes}
+                    , proposition    = [la]{proposition}[les]{propositions}
+                    , example        = [l']{exemple}[les]{exemples}
+                    ...
+                  }
     , (*\commandoption{Crefname}*) =  {
-                     , theorem        = [Le]{théorème}[Les]{théorèmes}
-                     , proposition    = [La]{proposition}[Les]{propositions}
-                     , example        = [L']{exemple}[Les]{exemples}
-                     ...
-                   }
+                    , theorem        = [Le]{théorème}[Les]{théorèmes}
+                    , proposition    = [La]{proposition}[Les]{propositions}
+                    , example        = [L']{exemple}[Les]{exemples}
+                    ...
+                  }
   }
 \end{code}
 
@@ -693,27 +697,27 @@
 \NameTheorems { ngerman }
   {
     , (*\commandoption{heading}*) =   {
-                     , theorem        = Satz
-                     ...
-                   }
+                    , theorem       = Satz
+                    ...
+                  }
     , (*\commandoption{crefname}*) =  {
-                     , theorem        = { {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}
-                       }
-                     ...
-                   }
+                    , theorem       = { {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}
+                      }
+                    ...
+                  }
     , (*\commandoption{Crefname}*) =  {
-                     , theorem        = { {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}
-                       }
-                     ...
-                   }
+                    , theorem       = { {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}
+                      }
+                    ...
+                  }
   }
 \end{code}
 

Added: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-cleveref.tex
===================================================================
--- branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-cleveref.tex	                        (rev 0)
+++ branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-cleveref.tex	2024-02-26 21:00:42 UTC (rev 70180)
@@ -0,0 +1,1493 @@
+% 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-proposition } { combined = { definition ; proposition } }
+\NameTheorem { definition-theorem } { combined = { definition ; theorem } }
+
+\NameTheorem { corollary-definition } { combined = { corollary ; definition } }
+\NameTheorem { proposition-definition } { combined = { proposition ; definition } }
+\NameTheorem { theorem-definition } { combined = { theorem ; definition } }


Property changes on: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-cleveref.tex
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Added: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural-cleveref.tex
===================================================================
--- branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural-cleveref.tex	                        (rev 0)
+++ branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural-cleveref.tex	2024-02-26 21:00:42 UTC (rev 70180)
@@ -0,0 +1,1485 @@
+% Preset names for use with cleveref
+
+\NameTheorem { applications }
+  {
+    , heading =   {
+                    , english     = Applications
+                    , french      = Applications
+                    , ngerman     = Anwendungen
+                    , italian     = Applicazioni
+                    , portuguese  = Aplicações
+                    , brazilian   = Aplicações
+                    , spanish     = Aplicaciones
+                    , schinese    = 应用
+                    , tchinese    = 應用
+                    , japanese    = 応用
+                    , russian     = Приложения
+                  }
+    , crefname =  {
+                    , english     = {applications}{applications}
+                    , french      = [les]{applications}[les]{applications}
+                    , ngerman     = { {Anwendungen}{Anwendungen}
+                                      , Nominativ = [die]{Anwendungen}[die]{Anwendungen}
+                                      , Genitiv   = [der]{Anwendungen}[der]{Anwendungen}
+                                      , Dativ     = [den]{Anwendungen}[den]{Anwendungen}
+                                      , Akkusativ = [die]{Anwendungen}[die]{Anwendungen}
+                                    }
+                    , italian     = [le]{applicazioni}[le]{applicazioni}
+                    , portuguese  = [as]{aplicações}[as]{aplicações}
+                    , brazilian   = [as]{aplicações}[as]{aplicações}
+                    , spanish     = [las]{aplicaciones}[las]{aplicaciones}
+                    , schinese    = {应用}{应用}
+                    , tchinese    = {應用}{應用}
+                    , japanese    = {応用}{応用}
+                    , russian     = {приложения}{приложения}
+                  }
+    , Crefname =  {
+                    , english     = {Applications}{Applications}
+                    , french      = [Les]{applications}[Les]{applications}
+                    , ngerman     = { {Anwendungen}{Anwendungen}
+                                      , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen}
+                                      , Genitiv   = [Der]{Anwendungen}[Der]{Anwendungen}
+                                      , Dativ     = [Den]{Anwendungen}[Den]{Anwendungen}
+                                      , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen}
+                                    }
+                    , italian     = [Le]{applicazioni}[Le]{applicazioni}
+                    , portuguese  = [As]{aplicações}[As]{aplicações}
+                    , brazilian   = [As]{aplicações}[As]{aplicações}
+                    , spanish     = [Las]{aplicaciones}[Las]{aplicaciones}
+                    , schinese    = {应用}{应用}
+                    , tchinese    = {應用}{應用}
+                    , japanese    = {応用}{応用}
+                    , russian     = {Приложения}{Приложения}
+                  }
+  }
+
+\NameTheorem { assertions }
+  {
+    , heading =   {
+                    , english     = Assertions
+                    , french      = Assertions
+                    , ngerman     = Assertionen
+                    , italian     = Asserzioni
+                    , portuguese  = Asserções
+                    , brazilian   = Asserções
+                    , spanish     = Aserciones
+                    , schinese    = 断言
+                    , tchinese    = 斷言
+                    , japanese    = 断言
+                    , russian     = Утверждения
+                  }
+    , crefname =  {
+                    , english     = {assertions}{assertions}
+                    , french      = [les]{assertions}[les]{assertions}
+                    , ngerman     = { {Assertionen}{Assertionen}
+                                      , Nominativ = [die]{Assertionen}[die]{Assertionen}
+                                      , Genitiv   = [der]{Assertionen}[der]{Assertionen}
+                                      , Dativ     = [den]{Assertionen}[den]{Assertionen}
+                                      , Akkusativ = [die]{Assertionen}[die]{Assertionen}
+                                    }
+                    , italian     = [le]{asserzioni}[le]{asserzioni}
+                    , portuguese  = [as]{asserções}[as]{asserções}
+                    , brazilian   = [as]{asserções}[as]{asserções}
+                    , spanish     = [las]{aserciones}[las]{aserciones}
+                    , schinese    = {断言}{断言}
+                    , tchinese    = {斷言}{斷言}
+                    , japanese    = {断言}{断言}
+                    , russian     = {утверждения}{утверждения}
+                  }
+    , Crefname =  {
+                    , english     = {Assertions}{Assertions}
+                    , french      = [Les]{assertions}[Les]{assertions}
+                    , ngerman     = { {Assertionen}{Assertionen}
+                                      , Nominativ = [Die]{Assertionen}[Die]{Assertionen}
+                                      , Genitiv   = [Der]{Assertionen}[Der]{Assertionen}
+                                      , Dativ     = [Den]{Assertionen}[Den]{Assertionen}
+                                      , Akkusativ = [Die]{Assertionen}[Die]{Assertionen}
+                                    }
+                    , italian     = [Le]{asserzioni}[Le]{asserzioni}
+                    , portuguese  = [As]{asserções}[As]{asserções}
+                    , brazilian   = [As]{asserções}[As]{asserções}
+                    , spanish     = [Las]{aserciones}[Las]{aserciones}
+                    , schinese    = {断言}{断言}
+                    , tchinese    = {斷言}{斷言}
+                    , japanese    = {断言}{断言}
+                    , russian     = {Утверждения}{Утверждения}
+                  }
+  }
+
+\NameTheorem { assumptions }
+  {
+    , heading =   {
+                    , english     = Assumptions
+                    , french      = Suppositions
+                    , ngerman     = Annahmen
+                    , italian     = Supposizioni
+                    , portuguese  = Suposições
+                    , brazilian   = Suposições
+                    , spanish     = Suposiciones
+                    , schinese    = 假定
+                    , tchinese    = 假定
+                    , japanese    = 仮定
+                    , russian     = Предположения
+                  }
+    , crefname =  {
+                    , english     = {assumptions}{assumptions}
+                    , french      = [les]{suppositions}[les]{suppositions}
+                    , ngerman     = { {Annahmen}{Annahmen}
+                                      , Nominativ = [die]{Annahmen}[die]{Annahmen}
+                                      , Genitiv   = [der]{Annahmen}[der]{Annahmen}
+                                      , Dativ     = [den]{Annahmen}[den]{Annahmen}
+                                      , Akkusativ = [die]{Annahmen}[die]{Annahmen}
+                                    }
+                    , italian     = [le]{supposizioni}[le]{supposizioni}
+                    , portuguese  = [as]{suposições}[as]{suposições}
+                    , brazilian   = [as]{suposições}[as]{suposições}
+                    , spanish     = [las]{suposiciones}[las]{suposiciones}
+                    , schinese    = {假定}{假定}
+                    , tchinese    = {假定}{假定}
+                    , japanese    = {仮定}{仮定}
+                    , russian     = {предположения}{предположения}
+                  }
+    , Crefname =  {
+                    , english     = {Assumptions}{Assumptions}
+                    , french      = [Les]{suppositions}[Les]{suppositions}
+                    , ngerman     = { {Annahmen}{Annahmen}
+                                      , Nominativ = [Die]{Annahmen}[Die]{Annahmen}
+                                      , Genitiv   = [Der]{Annahmen}[Der]{Annahmen}
+                                      , Dativ     = [Den]{Annahmen}[Den]{Annahmen}
+                                      , Akkusativ = [Die]{Annahmen}[Die]{Annahmen}
+                                    }
+                    , italian     = [le]{supposizioni}[le]{supposizioni}
+                    , portuguese  = [As]{suposições}[As]{suposições}
+                    , brazilian   = [As]{suposições}[As]{suposições}
+                    , spanish     = [Las]{suposiciones}[Las]{suposiciones}
+                    , schinese    = {假定}{假定}
+                    , tchinese    = {假定}{假定}
+                    , japanese    = {仮定}{仮定}
+                    , russian     = {Предположения}{Предположения}
+                  }
+  }
+
+\NameTheorem { axioms }
+  {
+    , heading =   {
+                    , english     = Axioms
+                    , french      = Axiomes
+                    , ngerman     = Axiome
+                    , italian     = Assiomi
+                    , portuguese  = Axiomas
+                    , brazilian   = Axiomas
+                    , spanish     = Axiomas
+                    , schinese    = 公理
+                    , tchinese    = 公理
+                    , japanese    = 公理
+                    , russian     = Аксиомы
+                  }
+    , crefname =  {
+                    , english     = {axioms}{axioms}
+                    , french      = [les]{axiomes}[les]{axiomes}
+                    , ngerman     = { {Axiome}{Axiome}
+                                      , Nominativ = [die]{Axiome}[die]{Axiome}
+                                      , Genitiv   = [der]{Axiome}[der]{Axiome}
+                                      , Dativ     = [den]{Axiomen}[den]{Axiomen}
+                                      , Akkusativ = [die]{Axiome}[die]{Axiome}
+                                    }
+                    , italian     = [gli]{assiomi}[gli]{assiomi}
+                    , portuguese  = [os]{axiomas}[os]{axiomas}
+                    , brazilian   = [os]{axiomas}[os]{axiomas}
+                    , spanish     = [los]{axiomas}[los]{axiomas}
+                    , schinese    = {公理}{公理}
+                    , tchinese    = {公理}{公理}
+                    , japanese    = {公理}{公理}
+                    , russian     = {аксиомы}{аксиомы}
+                  }
+    , Crefname =  {
+                    , english     = {Axioms}{Axioms}
+                    , french      = [Les]{axiomes}[Les]{axiomes}
+                    , ngerman     = { {Axiome}{Axiome}
+                                      , Nominativ = [Die]{Axiome}[Die]{Axiome}
+                                      , Genitiv   = [Der]{Axiome}[Der]{Axiome}
+                                      , Dativ     = [Den]{Axiomen}[Den]{Axiomen}
+                                      , Akkusativ = [Die]{Axiome}[Die]{Axiome}
+                                    }
+                    , italian     = [Gli]{assiomi}[Gli]{assiomi}
+                    , portuguese  = [Os]{axiomas}[Os]{axiomas}
+                    , brazilian   = [Os]{axiomas}[Os]{axiomas}
+                    , spanish     = [Los]{axiomas}[Los]{axiomas}
+                    , schinese    = {公理}{公理}
+                    , tchinese    = {公理}{公理}
+                    , japanese    = {公理}{公理}
+                    , russian     = {Аксиомы}{Аксиомы}
+                  }
+  }
+
+\NameTheorem { claims }
+  {
+    , heading =   {
+                    , english     = Claims
+                    , french      = Affirmations
+                    , ngerman     = Behauptungen
+                    , italian     = Affermazioni
+                    , portuguese  = Afirmações
+                    , brazilian   = Afirmações
+                    , spanish     = Afirmaciones
+                    , schinese    = 断言
+                    , tchinese    = 斷言
+                    , japanese    = 断言
+                    , russian     = Утверждения
+                  }
+    , crefname =  {
+                    , english     = {claims}{claims}
+                    , french      = [les]{affirmations}[les]{affirmations}
+                    , ngerman     = { {Behauptungen}{Behauptungen}
+                                      , Nominativ = [die]{Behauptungen}[die]{Behauptungen}
+                                      , Genitiv   = [der]{Behauptungen}[der]{Behauptungen}
+                                      , Dativ     = [den]{Behauptungen}[den]{Behauptungen}
+                                      , Akkusativ = [die]{Behauptungen}[die]{Behauptungen}
+                                    }
+                    , italian     = [le]{affermazioni}[le]{affermazioni}
+                    , portuguese  = [as]{afirmações}[as]{afirmações}
+                    , brazilian   = [as]{afirmações}[as]{afirmações}
+                    , spanish     = [las]{afirmaciones}[las]{afirmaciones}
+                    , schinese    = {断言}{断言}
+                    , tchinese    = {斷言}{斷言}
+                    , japanese    = {断言}{断言}
+                    , russian     = {утверждения}{утверждения}
+                  }
+    , Crefname =  {
+                    , english     = {Claims}{Claims}
+                    , french      = [Les]{affirmations}[Les]{affirmations}
+                    , ngerman     = { {Behauptungen}{Behauptungen}
+                                      , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen}
+                                      , Genitiv   = [Der]{Behauptungen}[Der]{Behauptungen}
+                                      , Dativ     = [Den]{Behauptungen}[Den]{Behauptungen}
+                                      , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen}
+                                    }
+                    , italian     = [Le]{affermazioni}[Le]{affermazioni}
+                    , portuguese  = [As]{afirmações}[As]{afirmações}
+                    , brazilian   = [As]{afirmações}[As]{afirmações}
+                    , spanish     = [Las]{afirmaciones}[Las]{afirmaciones}
+                    , schinese    = {断言}{断言}
+                    , tchinese    = {斷言}{斷言}
+                    , japanese    = {断言}{断言}
+                    , russian     = {Утверждения}{Утверждения}
+                  }
+  }
+
+\NameTheorem { commentaries }
+  {
+    , heading =   {
+                    , english     = Commentaries
+                    , french      = Commentaires
+                    , ngerman     = Kommentare
+                    , italian     = Commenti
+                    , portuguese  = Comentários
+                    , brazilian   = Comentários
+                    , spanish     = Comentarios
+                    , schinese    = 解说
+                    , tchinese    = 解說
+                    , japanese    = 解説
+                    , russian     = Комментарии
+                  }
+    , crefname =  {
+                    , english     = {commentaries}{commentaries}
+                    , french      = [les]{commentaires}[les]{commentaires}
+                    , ngerman     = { {Kommentare}{Kommentare}
+                                      , Nominativ = [die]{Kommentare}[die]{Kommentare}
+                                      , Genitiv   = [der]{Kommentare}[der]{Kommentare}
+                                      , Dativ     = [den]{Kommentaren}[den]{Kommentaren}
+                                      , Akkusativ = [die]{Kommentare}[die]{Kommentare}
+                                    }
+                    , italian     = [i]{commenti}[i]{commenti}
+                    , portuguese  = [os]{comentários}[os]{comentários}
+                    , brazilian   = [os]{comentários}[os]{comentários}
+                    , spanish     = [los]{comentarios}[los]{comentarios}
+                    , schinese    = {解说}{解说}
+                    , tchinese    = {解說}{解說}
+                    , japanese    = {解説}{解説}
+                    , russian     = {комментарии}{комментарии}
+                  }
+    , Crefname =  {
+                    , english     = {Commentaries}{Commentaries}
+                    , french      = [Les]{commentaires}[Les]{commentaires}
+                    , ngerman     = { {Kommentare}{Kommentare}
+                                      , Nominativ = [Die]{Kommentare}[Die]{Kommentare}
+                                      , Genitiv   = [Der]{Kommentare}[Der]{Kommentare}
+                                      , Dativ     = [Den]{Kommentaren}[Den]{Kommentaren}
+                                      , Akkusativ = [Die]{Kommentare}[Die]{Kommentare}
+                                    }
+                    , italian     = [I]{commenti}[I]{commenti}
+                    , portuguese  = [Os]{comentários}[Os]{comentários}
+                    , brazilian   = [Os]{comentários}[Os]{comentários}
+                    , spanish     = [Los]{comentarios}[Los]{comentarios}
+                    , schinese    = {解说}{解说}
+                    , tchinese    = {解說}{解說}
+                    , japanese    = {解説}{解説}
+                    , russian     = {Комментарии}{Комментарии}
+                  }
+  }
+
+\NameTheorem { conclusions }
+  {
+    , heading =   {
+                    , english     = Conclusions
+                    , french      = Conclusions
+                    , ngerman     = Schlussfolgerungen
+                    , italian     = Conclusioni
+                    , portuguese  = Conclusões
+                    , brazilian   = Conclusões
+                    , spanish     = Conclusiones
+                    , schinese    = 结论
+                    , tchinese    = 結論
+                    , japanese    = 結論
+                    , russian     = Выводы
+                  }
+    , crefname =  {
+                    , english     = {conclusions}{conclusions}
+                    , french      = [Les]{conclusions}[Les]{conclusions}
+                    , ngerman     = { {Schlussfolgerungen}{Schlussfolgerungen}
+                                      , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
+                                      , Genitiv   = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen}
+                                      , Dativ     = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen}
+                                      , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
+                                    }
+                    , italian     = [le]{conclusioni}[le]{conclusioni}
+                    , portuguese  = [as]{conclusões}[as]{conclusões}
+                    , brazilian   = [as]{conclusões}[as]{conclusões}
+                    , spanish     = [las]{conclusiones}[las]{conclusiones}
+                    , schinese    = {结论}{结论}
+                    , tchinese    = {結論}{結論}
+                    , japanese    = {結論}{結論}
+                    , russian     = {выводы}{выводы}
+                  }
+    , Crefname =  {
+                    , english     = {Conclusions}{Conclusions}
+                    , french      = [Les]{conclusions}[Les]{conclusions}
+                    , ngerman     = { {Schlussfolgerungen}{Schlussfolgerungen}
+                                      , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
+                                      , Genitiv   = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen}
+                                      , Dativ     = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen}
+                                      , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
+                                    }
+                    , italian     = [Le]{conclusioni}[Le]{conclusioni}
+                    , portuguese  = [As]{conclusões}[As]{conclusões}
+                    , brazilian   = [As]{conclusões}[As]{conclusões}
+                    , spanish     = [Las]{conclusiones}[Las]{conclusiones}
+                    , schinese    = {结论}{结论}
+                    , tchinese    = {結論}{結論}
+                    , japanese    = {結論}{結論}
+                    , russian     = {Выводы}{Выводы}
+                  }
+  }
+
+\NameTheorem { conjectures }
+  {
+    , heading =   {
+                    , english     = Conjectures
+                    , french      = Conjectures
+                    , ngerman     = Vermutungen
+                    , italian     = Congetture
+                    , portuguese  = Conjeturas
+                    , brazilian   = Conjecturas
+                    , spanish     = Conjeturas
+                    , schinese    = 猜想
+                    , tchinese    = 猜想
+                    , japanese    = 予想
+                    , russian     = Гипотезы
+                  }
+    , crefname =  {
+                    , english     = {conjectures}{conjectures}
+                    , french      = [les]{conjectures}[les]{conjectures}
+                    , ngerman     = { {Vermutungen}{Vermutungen}
+                                      , Nominativ = [die]{Vermutungen}[die]{Vermutungen}
+                                      , Genitiv   = [der]{Vermutungen}[der]{Vermutungen}
+                                      , Dativ     = [den]{Vermutungen}[den]{Vermutungen}
+                                      , Akkusativ = [die]{Vermutungen}[die]{Vermutungen}
+                                    }
+                    , italian     = [le]{congetture}[le]{congetture}
+                    , portuguese  = [as]{conjeturas}[as]{conjeturas}
+                    , brazilian   = [as]{conjecturas}[as]{conjecturas}
+                    , spanish     = [las]{conjeturas}[las]{conjeturas}
+                    , schinese    = {猜想}{猜想}
+                    , tchinese    = {猜想}{猜想}
+                    , japanese    = {予想}{予想}
+                    , russian     = {гипотезы}{гипотезы}
+                  }
+    , Crefname =  {
+                    , english     = {Conjectures}{Conjectures}
+                    , french      = [Les]{conjectures}[Les]{conjectures}
+                    , ngerman     = { {Vermutungen}{Vermutungen}
+                                      , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen}
+                                      , Genitiv   = [Der]{Vermutungen}[Der]{Vermutungen}
+                                      , Dativ     = [Den]{Vermutungen}[Den]{Vermutungen}
+                                      , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen}
+                                    }
+                    , italian     = [Le]{congetture}[Le]{congetture}
+                    , portuguese  = [As]{conjeturas}[As]{conjeturas}
+                    , brazilian   = [As]{conjecturas}[As]{conjecturas}
+                    , spanish     = [Las]{conjeturas}[Las]{conjeturas}
+                    , schinese    = {猜想}{猜想}
+                    , tchinese    = {猜想}{猜想}
+                    , japanese    = {予想}{予想}
+                    , russian     = {Гипотезы}{Гипотезы}
+                  }
+  }
+
+\NameTheorem { constructions }
+  {
+    , heading =   {
+                    , english     = Constructions
+                    , french      = Constructions
+                    , ngerman     = Konstruktionen
+                    , italian     = Costruzioni
+                    , portuguese  = Construções
+                    , brazilian   = Construções
+                    , spanish     = Construcciones
+                    , schinese    = 构造
+                    , tchinese    = 構造
+                    , japanese    = 構造
+                    , russian     = Конструкции
+                  }
+    , crefname =  {
+                    , english     = {constructions}{constructions}
+                    , french      = [les]{constructions}[les]{constructions}
+                    , ngerman     = { {Konstruktionen}{Konstruktionen}
+                                      , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen}
+                                      , Genitiv   = [der]{Konstruktionen}[der]{Konstruktionen}
+                                      , Dativ     = [den]{Konstruktionen}[den]{Konstruktionen}
+                                      , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen}
+                                    }
+                    , italian     = [le]{costruzioni}[le]{costruzioni}
+                    , portuguese  = [as]{construções}[as]{construções}
+                    , brazilian   = [as]{construções}[as]{construções}
+                    , spanish     = [las]{construcciones}[las]{construcciones}
+                    , schinese    = {构造}{构造}
+                    , tchinese    = {構造}{構造}
+                    , japanese    = {構造}{構造}
+                    , russian     = {конструкции}{конструкции}
+                  }
+    , Crefname =  {
+                    , english     = {Constructions}{Constructions}
+                    , french      = [Les]{constructions}[Les]{constructions}
+                    , ngerman     = { {Konstruktionen}{Konstruktionen}
+                                      , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
+                                      , Genitiv   = [Der]{Konstruktionen}[Der]{Konstruktionen}
+                                      , Dativ     = [Den]{Konstruktionen}[Den]{Konstruktionen}
+                                      , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
+                                    }
+                    , italian     = [Le]{costruzioni}[Le]{costruzioni}
+                    , portuguese  = [As]{construções}[As]{construções}
+                    , brazilian   = [As]{construções}[As]{construções}
+                    , spanish     = [Las]{construcciones}[Las]{construcciones}
+                    , schinese    = {构造}{构造}
+                    , tchinese    = {構造}{構造}
+                    , japanese    = {構造}{構造}
+                    , russian     = {Конструкции}{Конструкции}
+                  }
+  }
+
+\NameTheorem { conventions }
+  {
+    , heading =   {
+                    , english     = Conventions
+                    , french      = Conventions
+                    , ngerman     = Konventionen
+                    , italian     = Convenzioni
+                    , portuguese  = Convenções
+                    , brazilian   = Convenções
+                    , spanish     = Convenciones
+                    , schinese    = 约定
+                    , tchinese    = 約定
+                    , japanese    = 慣例
+                    , russian     = Конвенции
+                  }
+    , crefname =  {
+                    , english     = {conventions}{conventions}
+                    , french      = [les]{conventions}[les]{conventions}
+                    , ngerman     = { {Konventionen}{Konventionen}
+                                      , Nominativ = [die]{Konventionen}[die]{Konventionen}
+                                      , Genitiv   = [der]{Konventionen}[der]{Konventionen}
+                                      , Dativ     = [den]{Konventionen}[den]{Konventionen}
+                                      , Akkusativ = [die]{Konventionen}[die]{Konventionen}
+                                    }
+                    , italian     = [le]{convenzioni}[le]{convenzioni}
+                    , portuguese  = [as]{convenções}[as]{convenções}
+                    , brazilian   = [as]{convenções}[as]{convenções}
+                    , spanish     = [las]{convenciones}[las]{convenciones}
+                    , schinese    = {约定}{约定}
+                    , tchinese    = {約定}{約定}
+                    , japanese    = {慣例}{慣例}
+                    , russian     = {конвенции}{конвенции}
+                  }
+    , Crefname =  {
+                    , english     = {Conventions}{Conventions}
+                    , french      = [Les]{conventions}[Les]{conventions}
+                    , ngerman     = { {Konventionen}{Konventionen}
+                                      , Nominativ = [Die]{Konventionen}[Die]{Konventionen}
+                                      , Genitiv   = [Der]{Konventionen}[Der]{Konventionen}
+                                      , Dativ     = [Den]{Konventionen}[Den]{Konventionen}
+                                      , Akkusativ = [Die]{Konventionen}[Die]{Konventionen}
+                                    }
+                    , italian     = [Le]{convenzioni}[Le]{convenzioni}
+                    , portuguese  = [As]{convenções}[As]{convenções}
+                    , brazilian   = [As]{convenções}[As]{convenções}
+                    , spanish     = [Las]{convenciones}[Las]{convenciones}
+                    , schinese    = {约定}{约定}
+                    , tchinese    = {約定}{約定}
+                    , japanese    = {慣例}{慣例}
+                    , russian     = {Конвенции}{Конвенции}
+                  }
+  }
+
+\NameTheorem { corollaries }
+  {
+    , heading =   {
+                    , english     = Corollaries
+                    , french      = Corollaires
+                    , ngerman     = Korollare
+                    , italian     = Corollari
+                    , portuguese  = Corolários
+                    , brazilian   = Corolários
+                    , spanish     = Corolarios
+                    , schinese    = 推论
+                    , tchinese    = 推論
+                    , japanese    = 系
+                    , russian     = Следствия
+                  }
+    , crefname =  {
+                    , english     = {corollaries}{corollaries}
+                    , french      = [les]{corollaires}[les]{corollaires}
+                    , ngerman     = { {Korollare}{Korollare}
+                                      , Nominativ = [die]{Korollare}[die]{Korollare}
+                                      , Genitiv   = [der]{Korollare}[der]{Korollare}
+                                      , Dativ     = [den]{Korollaren}[den]{Korollaren}
+                                      , Akkusativ = [die]{Korollare}[die]{Korollare}
+                                    }
+                    , italian     = [i]{corollari}[i]{corollari}
+                    , portuguese  = [os]{corolários}[os]{corolários}
+                    , brazilian   = [os]{corolários}[os]{corolários}
+                    , spanish     = [los]{corolarios}[los]{corolarios}
+                    , schinese    = {推论}{推论}
+                    , tchinese    = {推論}{推論}
+                    , japanese    = {系}{系}
+                    , russian     = {следствия}{следствия}
+                  }
+    , Crefname =  {
+                    , english     = {Corollaries}{Corollaries}
+                    , french      = [Les]{corollaires}[Les]{corollaires}
+                    , ngerman     = { {Korollare}{Korollare}
+                                      , Nominativ = [Die]{Korollare}[Die]{Korollare}
+                                      , Genitiv   = [Der]{Korollare}[Der]{Korollare}
+                                      , Dativ     = [Den]{Korollaren}[Den]{Korollaren}
+                                      , Akkusativ = [Die]{Korollare}[Die]{Korollare}
+                                    }
+                    , italian     = [I]{corollari}[I]{corollari}
+                    , portuguese  = [Os]{corolários}[Os]{corolários}
+                    , brazilian   = [Os]{corolários}[Os]{corolários}
+                    , spanish     = [Los]{corolarios}[Los]{corolarios}
+                    , schinese    = {推论}{推论}
+                    , tchinese    = {推論}{推論}
+                    , japanese    = {系}{系}
+                    , russian     = {Следствия}{Следствия}
+                  }
+  }
+
+\NameTheorem { definitions }
+  {
+    , heading =   {
+                    , english     = Definitions
+                    , french      = Définitions
+                    , ngerman     = Definitionen
+                    , italian     = Definizioni
+                    , portuguese  = Definições
+                    , brazilian   = Definições
+                    , spanish     = Definiciones
+                    , schinese    = 定义
+                    , tchinese    = 定義
+                    , japanese    = 定義
+                    , russian     = Определения
+                  }
+    , crefname =  {
+                    , english     = {definitions}{definitions}
+                    , french      = [les]{définitions}[les]{définitions}
+                    , ngerman     = { {Definitionen}{Definitionen}
+                                      , Nominativ = [die]{Definitionen}[die]{Definitionen}
+                                      , Genitiv   = [der]{Definitionen}[der]{Definitionen}
+                                      , Dativ     = [den]{Definitionen}[den]{Definitionen}
+                                      , Akkusativ = [die]{Definitionen}[die]{Definitionen}
+                                    }
+                    , italian     = [le]{definizioni}[le]{definizioni}
+                    , portuguese  = [as]{definições}[as]{definições}
+                    , brazilian   = [as]{definições}[as]{definições}
+                    , spanish     = [las]{definiciones}[las]{definiciones}
+                    , schinese    = {定义}{定义}
+                    , tchinese    = {定義}{定義}
+                    , japanese    = {定義}{定義}
+                    , russian     = {определения}{определения}
+                  }
+    , Crefname =  {
+                    , english     = {Definitions}{Definitions}
+                    , french      = [Les]{définitions}[Les]{définitions}
+                    , ngerman     = { {Definitionen}{Definitionen}
+                                      , Nominativ = [Die]{Definitionen}[Die]{Definitionen}
+                                      , Genitiv   = [Der]{Definitionen}[Der]{Definitionen}
+                                      , Dativ     = [Den]{Definitionen}[Den]{Definitionen}
+                                      , Akkusativ = [Die]{Definitionen}[Die]{Definitionen}
+                                    }
+                    , italian     = [Le]{definizioni}[Le]{definizioni}
+                    , portuguese  = [As]{definições}[As]{definições}
+                    , brazilian   = [As]{definições}[As]{definições}
+                    , spanish     = [Las]{definiciones}[Las]{definiciones}
+                    , schinese    = {定义}{定义}
+                    , tchinese    = {定義}{定義}
+                    , japanese    = {定義}{定義}
+                    , russian     = {Определения}{Определения}
+                  }
+  }
+
+\NameTheorem { examples }
+  {
+    , heading =   {
+                    , english     = Examples
+                    , french      = Exemples
+                    , ngerman     = Beispiele
+                    , italian     = Esempi
+                    , portuguese  = Exemplos
+                    , brazilian   = Exemplos
+                    , spanish     = Ejemplos
+                    , schinese    = 例
+                    , tchinese    = 例
+                    , japanese    = 例
+                    , russian     = Примеры
+                  }
+    , crefname =  {
+                    , english     = {examples}{examples}
+                    , french      = [les]{exemples}[les]{exemples}
+                    , ngerman     = { {Beispiele}{Beispiele}
+                                      , Nominativ = [die]{Beispiele}[die]{Beispiele}
+                                      , Genitiv   = [der]{Beispiele}[der]{Beispiele}
+                                      , Dativ     = [den]{Beispielen}[den]{Beispielen}
+                                      , Akkusativ = [die]{Beispiele}[die]{Beispiele}
+                                    }
+                    , italian     = [gli]{esempi}[gli]{esempi}
+                    , portuguese  = [os]{exemplos}[os]{exemplos}
+                    , brazilian   = [os]{exemplos}[os]{exemplos}
+                    , spanish     = [los]{ejemplos}[los]{ejemplos}
+                    , schinese    = {例}{例}
+                    , tchinese    = {例}{例}
+                    , japanese    = {例}{例}
+                    , russian     = {примеры}{примеры}
+                  }
+    , Crefname =  {
+                    , english     = {Examples}{Examples}
+                    , french      = [Les]{exemples}[Les]{exemples}
+                    , ngerman     = { {Beispiele}{Beispiele}
+                                      , Nominativ = [Die]{Beispiele}[Die]{Beispiele}
+                                      , Genitiv   = [Der]{Beispiele}[Der]{Beispiele}
+                                      , Dativ     = [Den]{Beispielen}[Den]{Beispielen}
+                                      , Akkusativ = [Die]{Beispiele}[Die]{Beispiele}
+                                    }
+                    , italian     = [Gli]{esempi}[Gli]{esempi}
+                    , portuguese  = [Os]{exemplos}[Os]{exemplos}
+                    , brazilian   = [Os]{exemplos}[Os]{exemplos}
+                    , spanish     = [Los]{ejemplos}[Los]{ejemplos}
+                    , schinese    = {例}{例}
+                    , tchinese    = {例}{例}
+                    , japanese    = {例}{例}
+                    , russian     = {Примеры}{Примеры}
+                  }
+  }
+
+\NameTheorem { exercises }
+  {
+    , heading =   {
+                    , english     = Exercises
+                    , french      = Exercices
+                    , ngerman     = ÜBungen
+                    , italian     = Esercizi
+                    , portuguese  = Exercícios
+                    , brazilian   = Exercícios
+                    , spanish     = Ejercicios
+                    , schinese    = 习题
+                    , tchinese    = 習題
+                    , japanese    = 練習
+                    , russian     = Упражнения
+                  }
+    , crefname =  {
+                    , english     = {exercises}{exercises}
+                    , french      = [les]{exercices}[les]{exercices}
+                    , ngerman     = { {Übungen}{Übungen}
+                                      , Nominativ = [die]{Übungen}[die]{Übungen}
+                                      , Genitiv   = [der]{Übungen}[der]{Übungen}
+                                      , Dativ     = [den]{Übungen}[den]{Übungen}
+                                      , Akkusativ = [die]{Übungen}[die]{Übungen}
+                                    }
+                    , italian     = [gli]{esercizi}[gli]{esercizi}
+                    , portuguese  = [os]{exercícios}[os]{exercícios}
+                    , brazilian   = [os]{exercícios}[os]{exercícios}
+                    , spanish     = [los]{ejercicios}[los]{ejercicios}
+                    , schinese    = {习题}{习题}
+                    , tchinese    = {習題}{習題}
+                    , japanese    = {練習}{練習}
+                    , russian     = {упражнения}{упражнения}
+                  }
+    , Crefname =  {
+                    , english     = {Exercises}{Exercises}
+                    , french      = [Les]{exercices}[Les]{exercices}
+                    , ngerman     = { {Übungen}{Übungen}
+                                      , Nominativ = [Die]{Übungen}[Die]{Übungen}
+                                      , Genitiv   = [Der]{Übungen}[Der]{Übungen}
+                                      , Dativ     = [Den]{Übungen}[Den]{Übungen}
+                                      , Akkusativ = [Die]{Übungen}[Die]{Übungen}
+                                    }
+                    , italian     = [Gli]{esercizi}[Gli]{esercizi}
+                    , portuguese  = [Os]{exercícios}[Os]{exercícios}
+                    , brazilian   = [Os]{exercícios}[Os]{exercícios}
+                    , spanish     = [Los]{ejercicios}[Los]{ejercicios}
+                    , schinese    = {习题}{习题}
+                    , tchinese    = {習題}{習題}
+                    , japanese    = {練習}{練習}
+                    , russian     = {Упражнения}{Упражнения}
+                  }
+  }
+
+\NameTheorem { facts }
+  {
+    , heading =   {
+                    , english     = Facts
+                    , french      = Faits
+                    , ngerman     = Tatsachen
+                    , italian     = Fatti
+                    , portuguese  = Factos
+                    , brazilian   = Fatos
+                    , spanish     = Hechos
+                    , schinese    = 事实
+                    , tchinese    = 事實
+                    , japanese    = 事実
+                    , russian     = Факты
+                  }
+    , crefname =  {
+                    , english     = {facts}{facts}
+                    , french      = [les]{faits}[les]{faits}
+                    , ngerman     = { {Tatsachen}{Tatsachen}
+                                      , Nominativ = [die]{Tatsachen}[die]{Tatsachen}
+                                      , Genitiv   = [der]{Tatsachen}[der]{Tatsachen}
+                                      , Dativ     = [den]{Tatsachen}[den]{Tatsachen}
+                                      , Akkusativ = [die]{Tatsachen}[die]{Tatsachen}
+                                    }
+                    , italian     = [i]{fatti}[i]{fatti}
+                    , portuguese  = [os]{factos}[os]{factos}
+                    , brazilian   = [os]{fatos}[os]{fatos}
+                    , spanish     = [los]{hechos}[los]{hechos}
+                    , schinese    = {事实}{事实}
+                    , tchinese    = {事實}{事實}
+                    , japanese    = {事実}{事実}
+                    , russian     = {факты}{факты}
+                  }
+    , Crefname =  {
+                    , english     = {Facts}{Facts}
+                    , french      = [Les]{faits}[Les]{faits}
+                    , ngerman     = { {Tatsachen}{Tatsachen}
+                                      , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen}
+                                      , Genitiv   = [Der]{Tatsachen}[Der]{Tatsachen}
+                                      , Dativ     = [Den]{Tatsachen}[Den]{Tatsachen}
+                                      , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen}
+                                    }
+                    , italian     = [I]{fatti}[I]{fatti}
+                    , portuguese  = [Os]{factos}[Os]{factos}
+                    , brazilian   = [Os]{fatos}[Os]{fatos}
+                    , spanish     = [Los]{hechos}[Los]{hechos}
+                    , schinese    = {事实}{事实}
+                    , tchinese    = {事實}{事實}
+                    , japanese    = {事実}{事実}
+                    , russian     = {Факты}{Факты}
+                  }
+  }
+
+\NameTheorem { hypotheses }
+  {
+    , heading =   {
+                    , english     = Hypotheses
+                    , french      = Hypothèses
+                    , ngerman     = Hypothesen
+                    , italian     = Ipotesi
+                    , portuguese  = Hipóteses
+                    , brazilian   = Hipóteses
+                    , spanish     = Hipótesis
+                    , schinese    = 假设
+                    , tchinese    = 假設
+                    , japanese    = 仮設
+                    , russian     = Гипотезы
+                  }
+    , crefname =  {
+                    , english     = {hypotheses}{hypotheses}
+                    , french      = [les]{hypothèses}[les]{hypothèses}
+                    , ngerman     = { {Hypothesen}{Hypothesen}
+                                      , Nominativ = [die]{Hypothesen}[die]{Hypothesen}
+                                      , Genitiv   = [der]{Hypothesen}[der]{Hypothesen}
+                                      , Dativ     = [den]{Hypothesen}[den]{Hypothesen}
+                                      , Akkusativ = [die]{Hypothesen}[die]{Hypothesen}
+                                    }
+                    , italian     = [le]{ipotesi}[le]{ipotesi}
+                    , portuguese  = [as]{hipóteses}[as]{hipóteses}
+                    , brazilian   = [as]{hipóteses}[as]{hipóteses}
+                    , spanish     = [las]{hipótesis}[las]{hipótesis}
+                    , schinese    = {假设}{假设}
+                    , tchinese    = {假設}{假設}
+                    , japanese    = {仮設}{仮設}
+                    , russian     = {гипотезы}{гипотезы}
+                  }
+    , Crefname =  {
+                    , english     = {Hypotheses}{Hypotheses}
+                    , french      = [Les]{hypothèses}[Les]{hypothèses}
+                    , ngerman     = { {Hypothesen}{Hypothesen}
+                                      , Nominativ = [Die]{Hypothesen}[Die]{Hypothesen}
+                                      , Genitiv   = [Der]{Hypothesen}[Der]{Hypothesen}
+                                      , Dativ     = [Den]{Hypothesen}[Den]{Hypothesen}
+                                      , Akkusativ = [Die]{Hypothesen}[Die]{Hypothesen}
+                                    }
+                    , italian     = [Le]{ipotesi}[Le]{ipotesi}
+                    , portuguese  = [As]{hipóteses}[As]{hipóteses}
+                    , brazilian   = [As]{hipóteses}[As]{hipóteses}
+                    , spanish     = [Las]{hipótesis}[Las]{hipótesis}
+                    , schinese    = {假设}{假设}
+                    , tchinese    = {假設}{假設}
+                    , japanese    = {仮設}{仮設}
+                    , russian     = {Гипотезы}{Гипотезы}
+                  }
+  }
+
+\NameTheorem { lemmas }
+  {
+    , heading   = {
+                    , english     = Lemmas
+                    , french      = Lemmes
+                    , ngerman     = Lemmata
+                    , italian     = Lemmi
+                    , portuguese  = Lemas
+                    , brazilian   = Lemas
+                    , spanish     = Lemas
+                    , schinese    = 引理
+                    , tchinese    = 引理
+                    , japanese    = 補題
+                    , russian     = Леммы
+                  }
+    , crefname  = {
+                    , english     = {Lemmas}{Lemmas}
+                    , french      = [les]{lemmes}[les]{lemmes}
+                    , ngerman     = { {Lemmata}{Lemmata}
+                                      , Nominativ = [die]{Lemmata}[die]{Lemmata}
+                                      , Genitiv   = [der]{Lemmata}[der]{Lemmata}
+                                      , Dativ     = [den]{Lemmata}[den]{Lemmata}
+                                      , Akkusativ = [die]{Lemmata}[die]{Lemmata}
+                                    }
+                    , italian     = [i]{lemmi}[i]{lemmi}
+                    , portuguese  = [os]{lemas}[os]{lemas}
+                    , brazilian   = [os]{lemas}[os]{lemas}
+                    , spanish     = [las]{lemas}[las]{lemas}
+                    , schinese    = {引理}{引理}
+                    , tchinese    = {引理}{引理}
+                    , japanese    = {補題}{補題}
+                    , russian     = {леммы}{леммы}
+                  }
+    , Crefname  = {
+                    , english     = {Lemmas}{Lemmas}
+                    , french      = [Les]{lemmes}[Les]{lemmes}
+                    , ngerman     = { {Lemmata}{Lemmata}
+                                      , Nominativ = [Die]{Lemmata}[Die]{Lemmata}
+                                      , Genitiv   = [Der]{Lemmata}[Der]{Lemmata}
+                                      , Dativ     = [Den]{Lemmata}[Den]{Lemmata}
+                                      , Akkusativ = [Die]{Lemmata}[Die]{Lemmata}
+                                    }
+                    , italian     = [I]{lemmi}[I]{lemmi}
+                    , portuguese  = [Os]{lemas}[Os]{lemas}
+                    , brazilian   = [Os]{lemas}[Os]{lemas}
+                    , spanish     = [las]{lemas}[las]{lemas}
+                    , schinese    = {引理}{引理}
+                    , tchinese    = {引理}{引理}
+                    , japanese    = {補題}{補題}
+                    , russian     = {Леммы}{Леммы}
+                  }
+  }
+
+\NameTheorem { motivations }
+  {
+    , heading =   {
+                    , english     = Motivations
+                    , french      = Motivations
+                    , ngerman     = Motivationen
+                    , italian     = Motivazioni
+                    , portuguese  = Motivações
+                    , brazilian   = Motivações
+                    , spanish     = Motivaciones
+                    , schinese    = 动机
+                    , tchinese    = 動機
+                    , japanese    = 動機
+                    , russian     = Мотивации
+                  }
+    , crefname =  {
+                    , english     = {motivations}{motivations}
+                    , french      = [les]{motivations}[les]{motivations}
+                    , ngerman     = { {Motivationen}{Motivationen}
+                                      , Nominativ = [die]{Motivationen}[die]{Motivationen}
+                                      , Genitiv   = [der]{Motivationen}[der]{Motivationen}
+                                      , Dativ     = [den]{Motivationen}[den]{Motivationen}
+                                      , Akkusativ = [die]{Motivationen}[die]{Motivationen}
+                                    }
+                    , italian     = [le]{motivazioni}[le]{motivazioni}
+                    , portuguese  = [as]{motivações}[as]{motivações}
+                    , brazilian   = [as]{motivações}[as]{motivações}
+                    , spanish     = [las]{motivaciones}[las]{motivaciones}
+                    , schinese    = {动机}{动机}
+                    , tchinese    = {動機}{動機}
+                    , japanese    = {動機}{動機}
+                    , russian     = {мотивации}{мотивации}
+                  }
+    , Crefname =  {
+                    , english     = {Motivations}{Motivations}
+                    , french      = [Les]{motivations}[Les]{motivations}
+                    , ngerman     = { {Motivationen}{Motivationen}
+                                      , Nominativ = [Die]{Motivationen}[Die]{Motivationen}
+                                      , Genitiv   = [Der]{Motivationen}[Der]{Motivationen}
+                                      , Dativ     = [Den]{Motivationen}[Den]{Motivationen}
+                                      , Akkusativ = [Die]{Motivationen}[Die]{Motivationen}
+                                    }
+                    , italian     = [Le]{motivazioni}[Le]{motivazioni}
+                    , portuguese  = [As]{motivações}[As]{motivações}
+                    , brazilian   = [As]{motivações}[As]{motivações}
+                    , spanish     = [Las]{motivaciones}[Las]{motivaciones}
+                    , schinese    = {动机}{动机}
+                    , tchinese    = {動機}{動機}
+                    , japanese    = {動機}{動機}
+                    , russian     = {Мотивации}{Мотивации}
+                  }
+  }
+
+\NameTheorem { notations }
+  {
+    , heading =   {
+                    , english     = Notations
+                    , french      = Notations
+                    , ngerman     = Notationen
+                    , italian     = Notazioni
+                    , portuguese  = Notações
+                    , brazilian   = Notações
+                    , spanish     = Notaciones
+                    , schinese    = 记号
+                    , tchinese    = 記號
+                    , japanese    = 記法
+                    , russian     = Нотации
+                  }
+    , crefname =  {
+                    , english     = {notations}{notations}
+                    , french      = [les]{notations}[les]{notations}
+                    , ngerman     = { {Notationen}{Notationen}
+                                      , Nominativ = [die]{Notationen}[die]{Notationen}
+                                      , Genitiv   = [der]{Notationen}[der]{Notationen}
+                                      , Dativ     = [den]{Notationen}[den]{Notationen}
+                                      , Akkusativ = [die]{Notationen}[die]{Notationen}
+                                    }
+                    , italian     = [le]{notazioni}[le]{notazioni}
+                    , portuguese  = [as]{notações}[as]{notações}
+                    , brazilian   = [as]{notações}[as]{notações}
+                    , spanish     = [las]{notaciones}[las]{notaciones}
+                    , schinese    = {记号}{记号}
+                    , tchinese    = {記號}{記號}
+                    , japanese    = {記法}{記法}
+                    , russian     = {нотации}{нотации}
+                  }
+    , Crefname =  {
+                    , english     = {Notations}{Notations}
+                    , french      = [Les]{notations}[Les]{notations}
+                    , ngerman     = { {Notationen}{Notationen}
+                                      , Nominativ = [Die]{Notationen}[Die]{Notationen}
+                                      , Genitiv   = [Der]{Notationen}[Der]{Notationen}
+                                      , Dativ     = [Den]{Notationen}[Den]{Notationen}
+                                      , Akkusativ = [Die]{Notationen}[Die]{Notationen}
+                                    }
+                    , italian     = [Le]{notazioni}[Le]{notazioni}
+                    , portuguese  = [As]{notações}[As]{notações}
+                    , brazilian   = [As]{notações}[As]{notações}
+                    , spanish     = [Las]{notaciones}[Las]{notaciones}
+                    , schinese    = {记号}{记号}
+                    , tchinese    = {記號}{記號}
+                    , japanese    = {記法}{記法}
+                    , russian     = {Нотации}{Нотации}
+                  }
+  }
+
+\NameTheorem { observations }
+  {
+    , heading =   {
+                    , english     = Observations
+                    , french      = Observations
+                    , ngerman     = Beobachtungen
+                    , italian     = Osservazioni
+                    , portuguese  = Observações
+                    , brazilian   = Observações
+                    , spanish     = Observaciones
+                    , schinese    = 观察
+                    , tchinese    = 觀察
+                    , japanese    = 観察
+                    , russian     = Наблюдения
+                  }
+    , crefname =  {
+                    , english     = {observations}{observations}
+                    , french      = [les]{observations}[les]{observations}
+                    , ngerman     = { {Beobachtungen}{Beobachtungen}
+                                      , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen}
+                                      , Genitiv   = [der]{Beobachtungen}[der]{Beobachtungen}
+                                      , Dativ     = [den]{Beobachtungen}[den]{Beobachtungen}
+                                      , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen}
+                                    }
+                    , italian     = [le]{osservazioni}[le]{osservazioni}
+                    , portuguese  = [as]{observações}[as]{observações}
+                    , brazilian   = [as]{observações}[as]{observações}
+                    , spanish     = [las]{observaciones}[las]{observaciones}
+                    , schinese    = {观察}{观察}
+                    , tchinese    = {觀察}{觀察}
+                    , japanese    = {観察}{観察}
+                    , russian     = {наблюдения}{наблюдения}
+                  }
+    , Crefname =  {
+                    , english     = {Observations}{Observations}
+                    , french      = [Les]{observations}[Les]{observations}
+                    , ngerman     = { {Beobachtungen}{Beobachtungen}
+                                      , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
+                                      , Genitiv   = [Der]{Beobachtungen}[Der]{Beobachtungen}
+                                      , Dativ     = [Den]{Beobachtungen}[Den]{Beobachtungen}
+                                      , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
+                                    }
+                    , italian     = [Le]{osservazioni}[Le]{osservazioni}
+                    , portuguese  = [As]{observações}[As]{observações}
+                    , brazilian   = [As]{observações}[As]{observações}
+                    , spanish     = [Las]{observaciones}[Las]{observaciones}
+                    , schinese    = {观察}{观察}
+                    , tchinese    = {觀察}{觀察}
+                    , japanese    = {観察}{観察}
+                    , russian     = {Наблюдения}{Наблюдения}
+                  }
+  }
+
+\NameTheorem { postulates }
+  {
+    , heading =   {
+                    , english     = Postulates
+                    , french      = Postulats
+                    , ngerman     = Postulate
+                    , italian     = Postulati
+                    , portuguese  = Postulados
+                    , brazilian   = Postulados
+                    , spanish     = Postulados
+                    , schinese    = 公设
+                    , tchinese    = 公設
+                    , japanese    = 公準
+                    , russian     = Постулаты
+                  }
+    , crefname =  {
+                    , english     = {postulates}{postulates}
+                    , french      = [les]{postulats}[les]{postulats}
+                    , ngerman     = { {Postulate}{Postulate}
+                                      , Nominativ = [die]{Postulate}[die]{Postulate}
+                                      , Genitiv   = [der]{Postulate}[der]{Postulate}
+                                      , Dativ     = [den]{Postulaten}[den]{Postulaten}
+                                      , Akkusativ = [die]{Postulate}[die]{Postulate}
+                                    }
+                    , italian     = [i]{postulati}[i]{postulati}
+                    , portuguese  = [os]{postulados}[os]{postulados}
+                    , brazilian   = [os]{postulados}[os]{postulados}
+                    , spanish     = [los]{postulados}[los]{postulados}
+                    , schinese    = {公设}{公设}
+                    , tchinese    = {公設}{公設}
+                    , japanese    = {公準}{公準}
+                    , russian     = {постулаты}{постулаты}
+                  }
+    , Crefname =  {
+                    , english     = {Postulates}{Postulates}
+                    , french      = [Les]{postulats}[Les]{postulats}
+                    , ngerman     = { {Postulate}{Postulate}
+                                      , Nominativ = [Die]{Postulate}[Die]{Postulate}
+                                      , Genitiv   = [Der]{Postulate}[Der]{Postulate}
+                                      , Dativ     = [Den]{Postulaten}[Den]{Postulaten}
+                                      , Akkusativ = [Die]{Postulate}[Die]{Postulate}
+                                    }
+                    , italian     = [I]{postulati}[I]{postulati}
+                    , portuguese  = [Os]{postulados}[Os]{postulados}
+                    , brazilian   = [Os]{postulados}[Os]{postulados}
+                    , spanish     = [Los]{postulados}[Los]{postulados}
+                    , schinese    = {公设}{公设}
+                    , tchinese    = {公設}{公設}
+                    , japanese    = {公準}{公準}
+                    , russian     = {Постулаты}{Постулаты}
+                  }
+  }
+
+\NameTheorem { problems }
+  {
+    , heading =   {
+                    , english     = Problems
+                    , french      = Problèmes
+                    , ngerman     = Probleme
+                    , italian     = Problemi
+                    , portuguese  = Problemas
+                    , brazilian   = Problemas
+                    , spanish     = Problemas
+                    , schinese    = 问题
+                    , tchinese    = 問題
+                    , japanese    = 問題
+                    , russian     = Проблемы
+                  }
+    , crefname =  {
+                    , english     = {problems}{problems}
+                    , french      = [les]{problèmes}[les]{problèmes}
+                    , ngerman     = { {Probleme}{Probleme}
+                                      , Nominativ = [die]{Probleme}[die]{Probleme}
+                                      , Genitiv   = [der]{Probleme}[der]{Probleme}
+                                      , Dativ     = [den]{Problemen}[den]{Problemen}
+                                      , Akkusativ = [die]{Probleme}[die]{Probleme}
+                                    }
+                    , italian     = [i]{problemi}[i]{problemi}
+                    , portuguese  = [os]{problemas}[os]{problemas}
+                    , brazilian   = [os]{problemas}[os]{problemas}
+                    , spanish     = [los]{problemas}[los]{problemas}
+                    , schinese    = {问题}{问题}
+                    , tchinese    = {問題}{問題}
+                    , japanese    = {問題}{問題}
+                    , russian     = {проблемы}{проблемы}
+                  }
+    , Crefname =  {
+                    , english     = {Problems}{Problems}
+                    , french      = [Les]{problèmes}[Les]{problèmes}
+                    , ngerman     = { {Probleme}{Probleme}
+                                      , Nominativ = [Die]{Probleme}[Die]{Probleme}
+                                      , Genitiv   = [Der]{Probleme}[Der]{Probleme}
+                                      , Dativ     = [Den]{Problemen}[Den]{Problemen}
+                                      , Akkusativ = [Die]{Probleme}[Die]{Probleme}
+                                    }
+                    , italian     = [I]{problemi}[I]{problemi}
+                    , portuguese  = [Os]{problemas}[Os]{problemas}
+                    , brazilian   = [Os]{problemas}[Os]{problemas}
+                    , spanish     = [Los]{problemas}[Los]{problemas}
+                    , schinese    = {问题}{问题}
+                    , tchinese    = {問題}{問題}
+                    , japanese    = {問題}{問題}
+                    , russian     = {Проблемы}{Проблемы}
+                  }
+  }
+
+\NameTheorem { properties }
+  {
+    , heading =   {
+                    , english     = Properties
+                    , french      = Propriétés
+                    , ngerman     = Eigenschaften
+                    , italian     = Proprietà
+                    , portuguese  = Propriedades
+                    , brazilian   = Propriedades
+                    , spanish     = Propiedades
+                    , schinese    = 性质
+                    , tchinese    = 性質
+                    , japanese    = 性質
+                    , russian     = Имущества
+                  }
+    , crefname =  {
+                    , english     = {properties}{properties}
+                    , french      = [les]{propriétés}[les]{propriétés}
+                    , ngerman     = { {Eigenschaften}{Eigenschaften}
+                                      , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften}
+                                      , Genitiv   = [der]{Eigenschaften}[der]{Eigenschaften}
+                                      , Dativ     = [den]{Eigenschaften}[den]{Eigenschaften}
+                                      , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften}
+                                    }
+                    , italian     = [le]{proprietà}[le]{proprietà}
+                    , portuguese  = [as]{propriedades}[as]{propriedades}
+                    , brazilian   = [as]{propriedades}[as]{propriedades}
+                    , spanish     = [las]{propiedades}[las]{propiedades}
+                    , schinese    = {性质}{性质}
+                    , tchinese    = {性質}{性質}
+                    , japanese    = {性質}{性質}
+                    , russian     = {имущества}{имущества}
+                  }
+    , Crefname =  {
+                    , english     = {Properties}{Properties}
+                    , french      = [Les]{propriétés}[Les]{propriétés}
+                    , ngerman     = { {Eigenschaften}{Eigenschaften}
+                                      , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
+                                      , Genitiv   = [Der]{Eigenschaften}[Der]{Eigenschaften}
+                                      , Dativ     = [Den]{Eigenschaften}[Den]{Eigenschaften}
+                                      , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
+                                    }
+                    , italian     = [Le]{proprietà}[Le]{proprietà}
+                    , portuguese  = [As]{propriedades}[As]{propriedades}
+                    , brazilian   = [As]{propriedades}[As]{propriedades}
+                    , spanish     = [Las]{propiedades}[Las]{propiedades}
+                    , schinese    = {性质}{性质}
+                    , tchinese    = {性質}{性質}
+                    , japanese    = {性質}{性質}
+                    , russian     = {Имущества}{Имущества}
+                  }
+  }
+
+\NameTheorem { propositions }
+  {
+    , heading =   {
+                    , english     = Propositions
+                    , french      = Propositions
+                    , ngerman     = Propositionen
+                    , italian     = Proposte
+                    , portuguese  = Proposições
+                    , brazilian   = Proposições
+                    , spanish     = Proposiciones
+                    , schinese    = 命题
+                    , tchinese    = 命題
+                    , japanese    = 命題
+                    , russian     = Предложения
+                  }
+    , crefname =  {
+                    , english     = {propositions}{propositions}
+                    , french      = [les]{propositions}[les]{propositions}
+                    , ngerman     = { {Propositionen}{Propositionen}
+                                      , Nominativ = [die]{Propositionen}[die]{Propositionen}
+                                      , Genitiv   = [der]{Propositionen}[der]{Propositionen}
+                                      , Dativ     = [den]{Propositionen}[den]{Propositionen}
+                                      , Akkusativ = [die]{Propositionen}[die]{Propositionen}
+                                    }
+                    , italian     = [le]{proposte}[le]{proposte}
+                    , portuguese  = [as]{proposições}[as]{proposições}
+                    , brazilian   = [as]{proposições}[as]{proposições}
+                    , spanish     = [las]{proposiciones}[las]{proposiciones}
+                    , schinese    = {命题}{命题}
+                    , tchinese    = {命題}{命題}
+                    , japanese    = {命題}{命題}
+                    , russian     = {предложения}{предложения}
+                  }
+    , Crefname =  {
+                    , english     = {Propositions}{Propositions}
+                    , french      = [Les]{propositions}[Les]{propositions}
+                    , ngerman     = { {Propositionen}{Propositionen}
+                                      , Nominativ = [Die]{Propositionen}[Die]{Propositionen}
+                                      , Genitiv   = [Der]{Propositionen}[Der]{Propositionen}
+                                      , Dativ     = [Den]{Propositionen}[Den]{Propositionen}
+                                      , Akkusativ = [Die]{Propositionen}[Die]{Propositionen}
+                                    }
+                    , italian     = [Le]{proposte}[Le]{proposte}
+                    , portuguese  = [As]{proposições}[As]{proposições}
+                    , brazilian   = [As]{proposições}[As]{proposições}
+                    , spanish     = [Las]{proposiciones}[Las]{proposiciones}
+                    , schinese    = {命题}{命题}
+                    , tchinese    = {命題}{命題}
+                    , japanese    = {命題}{命題}
+                    , russian     = {Предложения}{Предложения}
+                  }
+  }
+
+\NameTheorem { questions }
+  {
+    , heading =   {
+                    , english     = Questions
+                    , french      = Questions
+                    , ngerman     = Fragen
+                    , italian     = Domande
+                    , portuguese  = Perguntas
+                    , brazilian   = Perguntas
+                    , spanish     = Preguntas
+                    , schinese    = 问题
+                    , tchinese    = 問題
+                    , japanese    = 問題
+                    , russian     = Вопросы
+                  }
+    , crefname =  {
+                    , english     = {questions}{questions}
+                    , french      = [les]{questions}[les]{questions}
+                    , ngerman     = { {Fragen}{Fragen}
+                                      , Nominativ = [die]{Fragen}[die]{Fragen}
+                                      , Genitiv   = [der]{Fragen}[der]{Fragen}
+                                      , Dativ     = [den]{Fragen}[den]{Fragen}
+                                      , Akkusativ = [die]{Fragen}[die]{Fragen}
+                                    }
+                    , italian     = [le]{domande}[le]{domande}
+                    , portuguese  = [as]{perguntas}[as]{perguntas}
+                    , brazilian   = [as]{perguntas}[as]{perguntas}
+                    , spanish     = [las]{preguntas}[las]{preguntas}
+                    , schinese    = {问题}{问题}
+                    , tchinese    = {問題}{問題}
+                    , japanese    = {問題}{問題}
+                    , russian     = {вопросы}{вопросы}
+                  }
+    , Crefname =  {
+                    , english     = {Questions}{Questions}
+                    , french      = [Les]{questions}[Les]{questions}
+                    , ngerman     = { {Fragen}{Fragen}
+                                      , Nominativ = [Die]{Fragen}[Die]{Fragen}
+                                      , Genitiv   = [Der]{Fragen}[Der]{Fragen}
+                                      , Dativ     = [Den]{Fragen}[Den]{Fragen}
+                                      , Akkusativ = [Die]{Fragen}[Die]{Fragen}
+                                    }
+                    , italian     = [Le]{domande}[Le]{domande}
+                    , portuguese  = [As]{perguntas}[As]{perguntas}
+                    , brazilian   = [As]{perguntas}[As]{perguntas}
+                    , spanish     = [Las]{preguntas}[Las]{preguntas}
+                    , schinese    = {问题}{问题}
+                    , tchinese    = {問題}{問題}
+                    , japanese    = {問題}{問題}
+                    , russian     = {Вопросы}{Вопросы}
+                  }
+  }
+
+\NameTheorem { recalls }
+  {
+    , heading =   {
+                    , english     = Recalls
+                    , french      = Rappels
+                    , ngerman     = Erinnerungen
+                    , italian     = Richiami
+                    , portuguese  = Recordações
+                    , brazilian   = Recordações
+                    , spanish     = Recuerdos
+                    , schinese    = 回顾
+                    , tchinese    = 回顧
+                    , japanese    = 回顧
+                    , russian     = Напоминания
+                  }
+    , crefname =  {
+                    , english     = {recalls}{recalls}
+                    , french      = [les]{rappels}[les]{rappels}
+                    , ngerman     = { {Erinnerungen}{Erinnerungen}
+                                      , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen}
+                                      , Genitiv   = [der]{Erinnerungen}[der]{Erinnerungen}
+                                      , Dativ     = [den]{Erinnerungen}[den]{Erinnerungen}
+                                      , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen}
+                                    }
+                    , italian     = [i]{richiami}[i]{richiami}
+                    , portuguese  = [as]{recordações}[as]{recordações}
+                    , brazilian   = [as]{recordações}[as]{recordações}
+                    , spanish     = [los]{recuerdos}[los]{recuerdos}
+                    , schinese    = {回顾}{回顾}
+                    , tchinese    = {回顧}{回顧}
+                    , japanese    = {回顧}{回顧}
+                    , russian     = {напоминания}{напоминания}
+                  }
+    , Crefname =  {
+                    , english     = {Recalls}{Recalls}
+                    , french      = [Les]{rappels}[Les]{rappels}
+                    , ngerman     = { {Erinnerungen}{Erinnerungen}
+                                      , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
+                                      , Genitiv   = [Der]{Erinnerungen}[Der]{Erinnerungen}
+                                      , Dativ     = [Den]{Erinnerungen}[Den]{Erinnerungen}
+                                      , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
+                                    }
+                    , italian     = [I]{richiami}[I]{richiami}
+                    , portuguese  = [As]{recordações}[As]{recordações}
+                    , brazilian   = [As]{recordações}[As]{recordações}
+                    , spanish     = [Los]{recuerdos}[Los]{recuerdos}
+                    , schinese    = {回顾}{回顾}
+                    , tchinese    = {回顧}{回顧}
+                    , japanese    = {回顧}{回顧}
+                    , russian     = {Напоминания}{Напоминания}
+                  }
+  }
+
+\NameTheorem { remarks }
+  {
+    , heading =   {
+                    , english     = Remarks
+                    , french      = Remarques
+                    , ngerman     = Bemerkungen
+                    , italian     = Commenti
+                    , portuguese  = Comentários
+                    , brazilian   = Comentários
+                    , spanish     = Comentarios
+                    , schinese    = 备注
+                    , tchinese    = 備註
+                    , japanese    = 注釈
+                    , russian     = Замечания
+                  }
+    , crefname =  {
+                    , english     = {remarks}{remarks}
+                    , french      = [les]{remarques}[les]{remarques}
+                    , ngerman     = { {Bemerkungen}{Bemerkungen}
+                                      , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen}
+                                      , Genitiv   = [der]{Bemerkungen}[der]{Bemerkungen}
+                                      , Dativ     = [den]{Bemerkungen}[den]{Bemerkungen}
+                                      , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen}
+                                    }
+                    , italian     = [i]{commenti}[i]{commenti}
+                    , portuguese  = [os]{comentários}[os]{comentários}
+                    , brazilian   = [os]{comentários}[os]{comentários}
+                    , spanish     = [los]{comentarios}[los]{comentarios}
+                    , schinese    = {备注}{备注}
+                    , tchinese    = {備註}{備註}
+                    , japanese    = {注釈}{注釈}
+                    , russian     = {замечания}{замечания}
+                  }
+    , Crefname =  {
+                    , english     = {Remarks}{Remarks}
+                    , french      = [Les]{remarques}[Les]{remarques}
+                    , ngerman     = { {Bemerkungen}{Bemerkungen}
+                                      , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
+                                      , Genitiv   = [Der]{Bemerkungen}[Der]{Bemerkungen}
+                                      , Dativ     = [Den]{Bemerkungen}[Den]{Bemerkungen}
+                                      , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
+                                    }
+                    , italian     = [I]{commenti}[I]{commenti}
+                    , portuguese  = [Os]{comentários}[Os]{comentários}
+                    , brazilian   = [Os]{comentários}[Os]{comentários}
+                    , spanish     = [Los]{comentarios}[Los]{comentarios}
+                    , schinese    = {备注}{备注}
+                    , tchinese    = {備註}{備註}
+                    , japanese    = {注釈}{注釈}
+                    , russian     = {Замечания}{Замечания}
+                  }
+  }
+
+\NameTheorem { theorems }
+  {
+    , heading =   {
+                    , english     = Theorems
+                    , french      = Théorèmes
+                    , ngerman     = Sätze
+                    , italian     = Teoremi
+                    , portuguese  = Teoremas
+                    , brazilian   = Teoremas
+                    , spanish     = Teoremas
+                    , schinese    = 定理
+                    , tchinese    = 定理
+                    , japanese    = 定理
+                    , russian     = Теоремы
+                  }
+    , crefname =  {
+                    , english     = {theorems}{theorems}
+                    , french      = [les]{théorèmes}[les]{théorèmes}
+                    , ngerman     = { {Sätze}{Sätze}
+                                      , Nominativ = [die]{Sätze}[die]{Sätze}
+                                      , Genitiv   = [der]{Sätze}[der]{Sätze}
+                                      , Dativ     = [den]{Sätzen}[den]{Sätzen}
+                                      , Akkusativ = [die]{Sätze}[die]{Sätze}
+                                    }
+                    , italian     = [i]{teoremi}[i]{teoremi}
+                    , portuguese  = [os]{teoremas}[os]{teoremas}
+                    , brazilian   = [os]{teoremas}[os]{teoremas}
+                    , spanish     = [los]{teoremas}[los]{teoremas}
+                    , schinese    = {定理}{定理}
+                    , tchinese    = {定理}{定理}
+                    , japanese    = {定理}{定理}
+                    , russian     = {теоремы}{теоремы}
+                  }
+    , Crefname =  {
+                    , english     = {Theorems}{Theorems}
+                    , french      = [Les]{théorèmes}[Les]{théorèmes}
+                    , ngerman     = { {Sätze}{Sätze}
+                                      , Nominativ = [Die]{Sätze}[Die]{Sätze}
+                                      , Genitiv   = [Der]{Sätze}[Der]{Sätze}
+                                      , Dativ     = [Den]{Sätzen}[Den]{Sätzen}
+                                      , Akkusativ = [Die]{Sätze}[Die]{Sätze}
+                                    }
+                    , italian     = [I]{teoremi}[I]{teoremi}
+                    , portuguese  = [Os]{teoremas}[Os]{teoremas}
+                    , brazilian   = [Os]{teoremas}[Os]{teoremas}
+                    , spanish     = [Los]{teoremas}[Los]{teoremas}
+                    , schinese    = {定理}{定理}
+                    , tchinese    = {定理}{定理}
+                    , japanese    = {定理}{定理}
+                    , russian     = {Теоремы}{Теоремы}
+                  }
+  }


Property changes on: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural-cleveref.tex
___________________________________________________________________
Added: svn:eol-style
## -0,0 +1 ##
+native
\ No newline at end of property
Deleted: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex
===================================================================
--- branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex	2024-02-26 21:00:29 UTC (rev 70179)
+++ branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names-plural.tex	2024-02-26 21:00:42 UTC (rev 70180)
@@ -1,1487 +0,0 @@
-%=============================
-%   ---  Preset Names  ---
-%=============================
-
-\NameTheorem { applications }
-  {
-    , heading =   {
-                    , english     = Applications
-                    , french      = Applications
-                    , ngerman     = Anwendungen
-                    , italian     = Applicazioni
-                    , portuguese  = Aplicações
-                    , brazilian   = Aplicações
-                    , spanish     = Aplicaciones
-                    , schinese    = 应用
-                    , tchinese    = 應用
-                    , japanese    = 応用
-                    , russian     = Приложения
-                  }
-    , crefname =  {
-                    , english     = {applications}{applications}
-                    , french      = [les]{applications}[les]{applications}
-                    , ngerman     = { {Anwendungen}{Anwendungen}
-                                      , Nominativ = [die]{Anwendungen}[die]{Anwendungen}
-                                      , Genitiv   = [der]{Anwendungen}[der]{Anwendungen}
-                                      , Dativ     = [den]{Anwendungen}[den]{Anwendungen}
-                                      , Akkusativ = [die]{Anwendungen}[die]{Anwendungen}
-                                    }
-                    , italian     = [le]{applicazioni}[le]{applicazioni}
-                    , portuguese  = [as]{aplicações}[as]{aplicações}
-                    , brazilian   = [as]{aplicações}[as]{aplicações}
-                    , spanish     = [las]{aplicaciones}[las]{aplicaciones}
-                    , schinese    = {应用}{应用}
-                    , tchinese    = {應用}{應用}
-                    , japanese    = {応用}{応用}
-                    , russian     = {приложения}{приложения}
-                  }
-    , Crefname =  {
-                    , english     = {Applications}{Applications}
-                    , french      = [Les]{applications}[Les]{applications}
-                    , ngerman     = { {Anwendungen}{Anwendungen}
-                                      , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen}
-                                      , Genitiv   = [Der]{Anwendungen}[Der]{Anwendungen}
-                                      , Dativ     = [Den]{Anwendungen}[Den]{Anwendungen}
-                                      , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen}
-                                    }
-                    , italian     = [Le]{applicazioni}[Le]{applicazioni}
-                    , portuguese  = [As]{aplicações}[As]{aplicações}
-                    , brazilian   = [As]{aplicações}[As]{aplicações}
-                    , spanish     = [Las]{aplicaciones}[Las]{aplicaciones}
-                    , schinese    = {应用}{应用}
-                    , tchinese    = {應用}{應用}
-                    , japanese    = {応用}{応用}
-                    , russian     = {Приложения}{Приложения}
-                  }
-  }
-
-\NameTheorem { assertions }
-  {
-    , heading =   {
-                    , english     = Assertions
-                    , french      = Assertions
-                    , ngerman     = Assertionen
-                    , italian     = Asserzioni
-                    , portuguese  = Asserções
-                    , brazilian   = Asserções
-                    , spanish     = Aserciones
-                    , schinese    = 断言
-                    , tchinese    = 斷言
-                    , japanese    = 断言
-                    , russian     = Утверждения
-                  }
-    , crefname =  {
-                    , english     = {assertions}{assertions}
-                    , french      = [les]{assertions}[les]{assertions}
-                    , ngerman     = { {Assertionen}{Assertionen}
-                                      , Nominativ = [die]{Assertionen}[die]{Assertionen}
-                                      , Genitiv   = [der]{Assertionen}[der]{Assertionen}
-                                      , Dativ     = [den]{Assertionen}[den]{Assertionen}
-                                      , Akkusativ = [die]{Assertionen}[die]{Assertionen}
-                                    }
-                    , italian     = [le]{asserzioni}[le]{asserzioni}
-                    , portuguese  = [as]{asserções}[as]{asserções}
-                    , brazilian   = [as]{asserções}[as]{asserções}
-                    , spanish     = [las]{aserciones}[las]{aserciones}
-                    , schinese    = {断言}{断言}
-                    , tchinese    = {斷言}{斷言}
-                    , japanese    = {断言}{断言}
-                    , russian     = {утверждения}{утверждения}
-                  }
-    , Crefname =  {
-                    , english     = {Assertions}{Assertions}
-                    , french      = [Les]{assertions}[Les]{assertions}
-                    , ngerman     = { {Assertionen}{Assertionen}
-                                      , Nominativ = [Die]{Assertionen}[Die]{Assertionen}
-                                      , Genitiv   = [Der]{Assertionen}[Der]{Assertionen}
-                                      , Dativ     = [Den]{Assertionen}[Den]{Assertionen}
-                                      , Akkusativ = [Die]{Assertionen}[Die]{Assertionen}
-                                    }
-                    , italian     = [Le]{asserzioni}[Le]{asserzioni}
-                    , portuguese  = [As]{asserções}[As]{asserções}
-                    , brazilian   = [As]{asserções}[As]{asserções}
-                    , spanish     = [Las]{aserciones}[Las]{aserciones}
-                    , schinese    = {断言}{断言}
-                    , tchinese    = {斷言}{斷言}
-                    , japanese    = {断言}{断言}
-                    , russian     = {Утверждения}{Утверждения}
-                  }
-  }
-
-\NameTheorem { assumptions }
-  {
-    , heading =   {
-                    , english     = Assumptions
-                    , french      = Suppositions
-                    , ngerman     = Annahmen
-                    , italian     = Supposizioni
-                    , portuguese  = Suposições
-                    , brazilian   = Suposições
-                    , spanish     = Suposiciones
-                    , schinese    = 假定
-                    , tchinese    = 假定
-                    , japanese    = 仮定
-                    , russian     = Предположения
-                  }
-    , crefname =  {
-                    , english     = {assumptions}{assumptions}
-                    , french      = [les]{suppositions}[les]{suppositions}
-                    , ngerman     = { {Annahmen}{Annahmen}
-                                      , Nominativ = [die]{Annahmen}[die]{Annahmen}
-                                      , Genitiv   = [der]{Annahmen}[der]{Annahmen}
-                                      , Dativ     = [den]{Annahmen}[den]{Annahmen}
-                                      , Akkusativ = [die]{Annahmen}[die]{Annahmen}
-                                    }
-                    , italian     = [le]{supposizioni}[le]{supposizioni}
-                    , portuguese  = [as]{suposições}[as]{suposições}
-                    , brazilian   = [as]{suposições}[as]{suposições}
-                    , spanish     = [las]{suposiciones}[las]{suposiciones}
-                    , schinese    = {假定}{假定}
-                    , tchinese    = {假定}{假定}
-                    , japanese    = {仮定}{仮定}
-                    , russian     = {предположения}{предположения}
-                  }
-    , Crefname =  {
-                    , english     = {Assumptions}{Assumptions}
-                    , french      = [Les]{suppositions}[Les]{suppositions}
-                    , ngerman     = { {Annahmen}{Annahmen}
-                                      , Nominativ = [Die]{Annahmen}[Die]{Annahmen}
-                                      , Genitiv   = [Der]{Annahmen}[Der]{Annahmen}
-                                      , Dativ     = [Den]{Annahmen}[Den]{Annahmen}
-                                      , Akkusativ = [Die]{Annahmen}[Die]{Annahmen}
-                                    }
-                    , italian     = [le]{supposizioni}[le]{supposizioni}
-                    , portuguese  = [As]{suposições}[As]{suposições}
-                    , brazilian   = [As]{suposições}[As]{suposições}
-                    , spanish     = [Las]{suposiciones}[Las]{suposiciones}
-                    , schinese    = {假定}{假定}
-                    , tchinese    = {假定}{假定}
-                    , japanese    = {仮定}{仮定}
-                    , russian     = {Предположения}{Предположения}
-                  }
-  }
-
-\NameTheorem { axioms }
-  {
-    , heading =   {
-                    , english     = Axioms
-                    , french      = Axiomes
-                    , ngerman     = Axiome
-                    , italian     = Assiomi
-                    , portuguese  = Axiomas
-                    , brazilian   = Axiomas
-                    , spanish     = Axiomas
-                    , schinese    = 公理
-                    , tchinese    = 公理
-                    , japanese    = 公理
-                    , russian     = Аксиомы
-                  }
-    , crefname =  {
-                    , english     = {axioms}{axioms}
-                    , french      = [les]{axiomes}[les]{axiomes}
-                    , ngerman     = { {Axiome}{Axiome}
-                                      , Nominativ = [die]{Axiome}[die]{Axiome}
-                                      , Genitiv   = [der]{Axiome}[der]{Axiome}
-                                      , Dativ     = [den]{Axiomen}[den]{Axiomen}
-                                      , Akkusativ = [die]{Axiome}[die]{Axiome}
-                                    }
-                    , italian     = [gli]{assiomi}[gli]{assiomi}
-                    , portuguese  = [os]{axiomas}[os]{axiomas}
-                    , brazilian   = [os]{axiomas}[os]{axiomas}
-                    , spanish     = [los]{axiomas}[los]{axiomas}
-                    , schinese    = {公理}{公理}
-                    , tchinese    = {公理}{公理}
-                    , japanese    = {公理}{公理}
-                    , russian     = {аксиомы}{аксиомы}
-                  }
-    , Crefname =  {
-                    , english     = {Axioms}{Axioms}
-                    , french      = [Les]{axiomes}[Les]{axiomes}
-                    , ngerman     = { {Axiome}{Axiome}
-                                      , Nominativ = [Die]{Axiome}[Die]{Axiome}
-                                      , Genitiv   = [Der]{Axiome}[Der]{Axiome}
-                                      , Dativ     = [Den]{Axiomen}[Den]{Axiomen}
-                                      , Akkusativ = [Die]{Axiome}[Die]{Axiome}
-                                    }
-                    , italian     = [Gli]{assiomi}[Gli]{assiomi}
-                    , portuguese  = [Os]{axiomas}[Os]{axiomas}
-                    , brazilian   = [Os]{axiomas}[Os]{axiomas}
-                    , spanish     = [Los]{axiomas}[Los]{axiomas}
-                    , schinese    = {公理}{公理}
-                    , tchinese    = {公理}{公理}
-                    , japanese    = {公理}{公理}
-                    , russian     = {Аксиомы}{Аксиомы}
-                  }
-  }
-
-\NameTheorem { claims }
-  {
-    , heading =   {
-                    , english     = Claims
-                    , french      = Affirmations
-                    , ngerman     = Behauptungen
-                    , italian     = Affermazioni
-                    , portuguese  = Afirmações
-                    , brazilian   = Afirmações
-                    , spanish     = Afirmaciones
-                    , schinese    = 断言
-                    , tchinese    = 斷言
-                    , japanese    = 断言
-                    , russian     = Утверждения
-                  }
-    , crefname =  {
-                    , english     = {claims}{claims}
-                    , french      = [les]{affirmations}[les]{affirmations}
-                    , ngerman     = { {Behauptungen}{Behauptungen}
-                                      , Nominativ = [die]{Behauptungen}[die]{Behauptungen}
-                                      , Genitiv   = [der]{Behauptungen}[der]{Behauptungen}
-                                      , Dativ     = [den]{Behauptungen}[den]{Behauptungen}
-                                      , Akkusativ = [die]{Behauptungen}[die]{Behauptungen}
-                                    }
-                    , italian     = [le]{affermazioni}[le]{affermazioni}
-                    , portuguese  = [as]{afirmações}[as]{afirmações}
-                    , brazilian   = [as]{afirmações}[as]{afirmações}
-                    , spanish     = [las]{afirmaciones}[las]{afirmaciones}
-                    , schinese    = {断言}{断言}
-                    , tchinese    = {斷言}{斷言}
-                    , japanese    = {断言}{断言}
-                    , russian     = {утверждения}{утверждения}
-                  }
-    , Crefname =  {
-                    , english     = {Claims}{Claims}
-                    , french      = [Les]{affirmations}[Les]{affirmations}
-                    , ngerman     = { {Behauptungen}{Behauptungen}
-                                      , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen}
-                                      , Genitiv   = [Der]{Behauptungen}[Der]{Behauptungen}
-                                      , Dativ     = [Den]{Behauptungen}[Den]{Behauptungen}
-                                      , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen}
-                                    }
-                    , italian     = [Le]{affermazioni}[Le]{affermazioni}
-                    , portuguese  = [As]{afirmações}[As]{afirmações}
-                    , brazilian   = [As]{afirmações}[As]{afirmações}
-                    , spanish     = [Las]{afirmaciones}[Las]{afirmaciones}
-                    , schinese    = {断言}{断言}
-                    , tchinese    = {斷言}{斷言}
-                    , japanese    = {断言}{断言}
-                    , russian     = {Утверждения}{Утверждения}
-                  }
-  }
-
-\NameTheorem { commentaries }
-  {
-    , heading =   {
-                    , english     = Commentaries
-                    , french      = Commentaires
-                    , ngerman     = Kommentare
-                    , italian     = Commenti
-                    , portuguese  = Comentários
-                    , brazilian   = Comentários
-                    , spanish     = Comentarios
-                    , schinese    = 解说
-                    , tchinese    = 解說
-                    , japanese    = 解説
-                    , russian     = Комментарии
-                  }
-    , crefname =  {
-                    , english     = {commentaries}{commentaries}
-                    , french      = [les]{commentaires}[les]{commentaires}
-                    , ngerman     = { {Kommentare}{Kommentare}
-                                      , Nominativ = [die]{Kommentare}[die]{Kommentare}
-                                      , Genitiv   = [der]{Kommentare}[der]{Kommentare}
-                                      , Dativ     = [den]{Kommentaren}[den]{Kommentaren}
-                                      , Akkusativ = [die]{Kommentare}[die]{Kommentare}
-                                    }
-                    , italian     = [i]{commenti}[i]{commenti}
-                    , portuguese  = [os]{comentários}[os]{comentários}
-                    , brazilian   = [os]{comentários}[os]{comentários}
-                    , spanish     = [los]{comentarios}[los]{comentarios}
-                    , schinese    = {解说}{解说}
-                    , tchinese    = {解說}{解說}
-                    , japanese    = {解説}{解説}
-                    , russian     = {комментарии}{комментарии}
-                  }
-    , Crefname =  {
-                    , english     = {Commentaries}{Commentaries}
-                    , french      = [Les]{commentaires}[Les]{commentaires}
-                    , ngerman     = { {Kommentare}{Kommentare}
-                                      , Nominativ = [Die]{Kommentare}[Die]{Kommentare}
-                                      , Genitiv   = [Der]{Kommentare}[Der]{Kommentare}
-                                      , Dativ     = [Den]{Kommentaren}[Den]{Kommentaren}
-                                      , Akkusativ = [Die]{Kommentare}[Die]{Kommentare}
-                                    }
-                    , italian     = [I]{commenti}[I]{commenti}
-                    , portuguese  = [Os]{comentários}[Os]{comentários}
-                    , brazilian   = [Os]{comentários}[Os]{comentários}
-                    , spanish     = [Los]{comentarios}[Los]{comentarios}
-                    , schinese    = {解说}{解说}
-                    , tchinese    = {解說}{解說}
-                    , japanese    = {解説}{解説}
-                    , russian     = {Комментарии}{Комментарии}
-                  }
-  }
-
-\NameTheorem { conclusions }
-  {
-    , heading =   {
-                    , english     = Conclusions
-                    , french      = Conclusions
-                    , ngerman     = Schlussfolgerungen
-                    , italian     = Conclusioni
-                    , portuguese  = Conclusões
-                    , brazilian   = Conclusões
-                    , spanish     = Conclusiones
-                    , schinese    = 结论
-                    , tchinese    = 結論
-                    , japanese    = 結論
-                    , russian     = Выводы
-                  }
-    , crefname =  {
-                    , english     = {conclusions}{conclusions}
-                    , french      = [Les]{conclusions}[Les]{conclusions}
-                    , ngerman     = { {Schlussfolgerungen}{Schlussfolgerungen}
-                                      , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
-                                      , Genitiv   = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen}
-                                      , Dativ     = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen}
-                                      , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
-                                    }
-                    , italian     = [le]{conclusioni}[le]{conclusioni}
-                    , portuguese  = [as]{conclusões}[as]{conclusões}
-                    , brazilian   = [as]{conclusões}[as]{conclusões}
-                    , spanish     = [las]{conclusiones}[las]{conclusiones}
-                    , schinese    = {结论}{结论}
-                    , tchinese    = {結論}{結論}
-                    , japanese    = {結論}{結論}
-                    , russian     = {выводы}{выводы}
-                  }
-    , Crefname =  {
-                    , english     = {Conclusions}{Conclusions}
-                    , french      = [Les]{conclusions}[Les]{conclusions}
-                    , ngerman     = { {Schlussfolgerungen}{Schlussfolgerungen}
-                                      , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
-                                      , Genitiv   = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen}
-                                      , Dativ     = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen}
-                                      , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
-                                    }
-                    , italian     = [Le]{conclusioni}[Le]{conclusioni}
-                    , portuguese  = [As]{conclusões}[As]{conclusões}
-                    , brazilian   = [As]{conclusões}[As]{conclusões}
-                    , spanish     = [Las]{conclusiones}[Las]{conclusiones}
-                    , schinese    = {结论}{结论}
-                    , tchinese    = {結論}{結論}
-                    , japanese    = {結論}{結論}
-                    , russian     = {Выводы}{Выводы}
-                  }
-  }
-
-\NameTheorem { conjectures }
-  {
-    , heading =   {
-                    , english     = Conjectures
-                    , french      = Conjectures
-                    , ngerman     = Vermutungen
-                    , italian     = Congetture
-                    , portuguese  = Conjeturas
-                    , brazilian   = Conjecturas
-                    , spanish     = Conjeturas
-                    , schinese    = 猜想
-                    , tchinese    = 猜想
-                    , japanese    = 予想
-                    , russian     = Гипотезы
-                  }
-    , crefname =  {
-                    , english     = {conjectures}{conjectures}
-                    , french      = [les]{conjectures}[les]{conjectures}
-                    , ngerman     = { {Vermutungen}{Vermutungen}
-                                      , Nominativ = [die]{Vermutungen}[die]{Vermutungen}
-                                      , Genitiv   = [der]{Vermutungen}[der]{Vermutungen}
-                                      , Dativ     = [den]{Vermutungen}[den]{Vermutungen}
-                                      , Akkusativ = [die]{Vermutungen}[die]{Vermutungen}
-                                    }
-                    , italian     = [le]{congetture}[le]{congetture}
-                    , portuguese  = [as]{conjeturas}[as]{conjeturas}
-                    , brazilian   = [as]{conjecturas}[as]{conjecturas}
-                    , spanish     = [las]{conjeturas}[las]{conjeturas}
-                    , schinese    = {猜想}{猜想}
-                    , tchinese    = {猜想}{猜想}
-                    , japanese    = {予想}{予想}
-                    , russian     = {гипотезы}{гипотезы}
-                  }
-    , Crefname =  {
-                    , english     = {Conjectures}{Conjectures}
-                    , french      = [Les]{conjectures}[Les]{conjectures}
-                    , ngerman     = { {Vermutungen}{Vermutungen}
-                                      , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen}
-                                      , Genitiv   = [Der]{Vermutungen}[Der]{Vermutungen}
-                                      , Dativ     = [Den]{Vermutungen}[Den]{Vermutungen}
-                                      , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen}
-                                    }
-                    , italian     = [Le]{congetture}[Le]{congetture}
-                    , portuguese  = [As]{conjeturas}[As]{conjeturas}
-                    , brazilian   = [As]{conjecturas}[As]{conjecturas}
-                    , spanish     = [Las]{conjeturas}[Las]{conjeturas}
-                    , schinese    = {猜想}{猜想}
-                    , tchinese    = {猜想}{猜想}
-                    , japanese    = {予想}{予想}
-                    , russian     = {Гипотезы}{Гипотезы}
-                  }
-  }
-
-\NameTheorem { constructions }
-  {
-    , heading =   {
-                    , english     = Constructions
-                    , french      = Constructions
-                    , ngerman     = Konstruktionen
-                    , italian     = Costruzioni
-                    , portuguese  = Construções
-                    , brazilian   = Construções
-                    , spanish     = Construcciones
-                    , schinese    = 构造
-                    , tchinese    = 構造
-                    , japanese    = 構造
-                    , russian     = Конструкции
-                  }
-    , crefname =  {
-                    , english     = {constructions}{constructions}
-                    , french      = [les]{constructions}[les]{constructions}
-                    , ngerman     = { {Konstruktionen}{Konstruktionen}
-                                      , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen}
-                                      , Genitiv   = [der]{Konstruktionen}[der]{Konstruktionen}
-                                      , Dativ     = [den]{Konstruktionen}[den]{Konstruktionen}
-                                      , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen}
-                                    }
-                    , italian     = [le]{costruzioni}[le]{costruzioni}
-                    , portuguese  = [as]{construções}[as]{construções}
-                    , brazilian   = [as]{construções}[as]{construções}
-                    , spanish     = [las]{construcciones}[las]{construcciones}
-                    , schinese    = {构造}{构造}
-                    , tchinese    = {構造}{構造}
-                    , japanese    = {構造}{構造}
-                    , russian     = {конструкции}{конструкции}
-                  }
-    , Crefname =  {
-                    , english     = {Constructions}{Constructions}
-                    , french      = [Les]{constructions}[Les]{constructions}
-                    , ngerman     = { {Konstruktionen}{Konstruktionen}
-                                      , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
-                                      , Genitiv   = [Der]{Konstruktionen}[Der]{Konstruktionen}
-                                      , Dativ     = [Den]{Konstruktionen}[Den]{Konstruktionen}
-                                      , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
-                                    }
-                    , italian     = [Le]{costruzioni}[Le]{costruzioni}
-                    , portuguese  = [As]{construções}[As]{construções}
-                    , brazilian   = [As]{construções}[As]{construções}
-                    , spanish     = [Las]{construcciones}[Las]{construcciones}
-                    , schinese    = {构造}{构造}
-                    , tchinese    = {構造}{構造}
-                    , japanese    = {構造}{構造}
-                    , russian     = {Конструкции}{Конструкции}
-                  }
-  }
-
-\NameTheorem { conventions }
-  {
-    , heading =   {
-                    , english     = Conventions
-                    , french      = Conventions
-                    , ngerman     = Konventionen
-                    , italian     = Convenzioni
-                    , portuguese  = Convenções
-                    , brazilian   = Convenções
-                    , spanish     = Convenciones
-                    , schinese    = 约定
-                    , tchinese    = 約定
-                    , japanese    = 慣例
-                    , russian     = Конвенции
-                  }
-    , crefname =  {
-                    , english     = {conventions}{conventions}
-                    , french      = [les]{conventions}[les]{conventions}
-                    , ngerman     = { {Konventionen}{Konventionen}
-                                      , Nominativ = [die]{Konventionen}[die]{Konventionen}
-                                      , Genitiv   = [der]{Konventionen}[der]{Konventionen}
-                                      , Dativ     = [den]{Konventionen}[den]{Konventionen}
-                                      , Akkusativ = [die]{Konventionen}[die]{Konventionen}
-                                    }
-                    , italian     = [le]{convenzioni}[le]{convenzioni}
-                    , portuguese  = [as]{convenções}[as]{convenções}
-                    , brazilian   = [as]{convenções}[as]{convenções}
-                    , spanish     = [las]{convenciones}[las]{convenciones}
-                    , schinese    = {约定}{约定}
-                    , tchinese    = {約定}{約定}
-                    , japanese    = {慣例}{慣例}
-                    , russian     = {конвенции}{конвенции}
-                  }
-    , Crefname =  {
-                    , english     = {Conventions}{Conventions}
-                    , french      = [Les]{conventions}[Les]{conventions}
-                    , ngerman     = { {Konventionen}{Konventionen}
-                                      , Nominativ = [Die]{Konventionen}[Die]{Konventionen}
-                                      , Genitiv   = [Der]{Konventionen}[Der]{Konventionen}
-                                      , Dativ     = [Den]{Konventionen}[Den]{Konventionen}
-                                      , Akkusativ = [Die]{Konventionen}[Die]{Konventionen}
-                                    }
-                    , italian     = [Le]{convenzioni}[Le]{convenzioni}
-                    , portuguese  = [As]{convenções}[As]{convenções}
-                    , brazilian   = [As]{convenções}[As]{convenções}
-                    , spanish     = [Las]{convenciones}[Las]{convenciones}
-                    , schinese    = {约定}{约定}
-                    , tchinese    = {約定}{約定}
-                    , japanese    = {慣例}{慣例}
-                    , russian     = {Конвенции}{Конвенции}
-                  }
-  }
-
-\NameTheorem { corollaries }
-  {
-    , heading =   {
-                    , english     = Corollaries
-                    , french      = Corollaires
-                    , ngerman     = Korollare
-                    , italian     = Corollari
-                    , portuguese  = Corolários
-                    , brazilian   = Corolários
-                    , spanish     = Corolarios
-                    , schinese    = 推论
-                    , tchinese    = 推論
-                    , japanese    = 系
-                    , russian     = Следствия
-                  }
-    , crefname =  {
-                    , english     = {corollaries}{corollaries}
-                    , french      = [les]{corollaires}[les]{corollaires}
-                    , ngerman     = { {Korollare}{Korollare}
-                                      , Nominativ = [die]{Korollare}[die]{Korollare}
-                                      , Genitiv   = [der]{Korollare}[der]{Korollare}
-                                      , Dativ     = [den]{Korollaren}[den]{Korollaren}
-                                      , Akkusativ = [die]{Korollare}[die]{Korollare}
-                                    }
-                    , italian     = [i]{corollari}[i]{corollari}
-                    , portuguese  = [os]{corolários}[os]{corolários}
-                    , brazilian   = [os]{corolários}[os]{corolários}
-                    , spanish     = [los]{corolarios}[los]{corolarios}
-                    , schinese    = {推论}{推论}
-                    , tchinese    = {推論}{推論}
-                    , japanese    = {系}{系}
-                    , russian     = {следствия}{следствия}
-                  }
-    , Crefname =  {
-                    , english     = {Corollaries}{Corollaries}
-                    , french      = [Les]{corollaires}[Les]{corollaires}
-                    , ngerman     = { {Korollare}{Korollare}
-                                      , Nominativ = [Die]{Korollare}[Die]{Korollare}
-                                      , Genitiv   = [Der]{Korollare}[Der]{Korollare}
-                                      , Dativ     = [Den]{Korollaren}[Den]{Korollaren}
-                                      , Akkusativ = [Die]{Korollare}[Die]{Korollare}
-                                    }
-                    , italian     = [I]{corollari}[I]{corollari}
-                    , portuguese  = [Os]{corolários}[Os]{corolários}
-                    , brazilian   = [Os]{corolários}[Os]{corolários}
-                    , spanish     = [Los]{corolarios}[Los]{corolarios}
-                    , schinese    = {推论}{推论}
-                    , tchinese    = {推論}{推論}
-                    , japanese    = {系}{系}
-                    , russian     = {Следствия}{Следствия}
-                  }
-  }
-
-\NameTheorem { definitions }
-  {
-    , heading =   {
-                    , english     = Definitions
-                    , french      = Définitions
-                    , ngerman     = Definitionen
-                    , italian     = Definizioni
-                    , portuguese  = Definições
-                    , brazilian   = Definições
-                    , spanish     = Definiciones
-                    , schinese    = 定义
-                    , tchinese    = 定義
-                    , japanese    = 定義
-                    , russian     = Определения
-                  }
-    , crefname =  {
-                    , english     = {definitions}{definitions}
-                    , french      = [les]{définitions}[les]{définitions}
-                    , ngerman     = { {Definitionen}{Definitionen}
-                                      , Nominativ = [die]{Definitionen}[die]{Definitionen}
-                                      , Genitiv   = [der]{Definitionen}[der]{Definitionen}
-                                      , Dativ     = [den]{Definitionen}[den]{Definitionen}
-                                      , Akkusativ = [die]{Definitionen}[die]{Definitionen}
-                                    }
-                    , italian     = [le]{definizioni}[le]{definizioni}
-                    , portuguese  = [as]{definições}[as]{definições}
-                    , brazilian   = [as]{definições}[as]{definições}
-                    , spanish     = [las]{definiciones}[las]{definiciones}
-                    , schinese    = {定义}{定义}
-                    , tchinese    = {定義}{定義}
-                    , japanese    = {定義}{定義}
-                    , russian     = {определения}{определения}
-                  }
-    , Crefname =  {
-                    , english     = {Definitions}{Definitions}
-                    , french      = [Les]{définitions}[Les]{définitions}
-                    , ngerman     = { {Definitionen}{Definitionen}
-                                      , Nominativ = [Die]{Definitionen}[Die]{Definitionen}
-                                      , Genitiv   = [Der]{Definitionen}[Der]{Definitionen}
-                                      , Dativ     = [Den]{Definitionen}[Den]{Definitionen}
-                                      , Akkusativ = [Die]{Definitionen}[Die]{Definitionen}
-                                    }
-                    , italian     = [Le]{definizioni}[Le]{definizioni}
-                    , portuguese  = [As]{definições}[As]{definições}
-                    , brazilian   = [As]{definições}[As]{definições}
-                    , spanish     = [Las]{definiciones}[Las]{definiciones}
-                    , schinese    = {定义}{定义}
-                    , tchinese    = {定義}{定義}
-                    , japanese    = {定義}{定義}
-                    , russian     = {Определения}{Определения}
-                  }
-  }
-
-\NameTheorem { examples }
-  {
-    , heading =   {
-                    , english     = Examples
-                    , french      = Exemples
-                    , ngerman     = Beispiele
-                    , italian     = Esempi
-                    , portuguese  = Exemplos
-                    , brazilian   = Exemplos
-                    , spanish     = Ejemplos
-                    , schinese    = 例
-                    , tchinese    = 例
-                    , japanese    = 例
-                    , russian     = Примеры
-                  }
-    , crefname =  {
-                    , english     = {examples}{examples}
-                    , french      = [les]{exemples}[les]{exemples}
-                    , ngerman     = { {Beispiele}{Beispiele}
-                                      , Nominativ = [die]{Beispiele}[die]{Beispiele}
-                                      , Genitiv   = [der]{Beispiele}[der]{Beispiele}
-                                      , Dativ     = [den]{Beispielen}[den]{Beispielen}
-                                      , Akkusativ = [die]{Beispiele}[die]{Beispiele}
-                                    }
-                    , italian     = [gli]{esempi}[gli]{esempi}
-                    , portuguese  = [os]{exemplos}[os]{exemplos}
-                    , brazilian   = [os]{exemplos}[os]{exemplos}
-                    , spanish     = [los]{ejemplos}[los]{ejemplos}
-                    , schinese    = {例}{例}
-                    , tchinese    = {例}{例}
-                    , japanese    = {例}{例}
-                    , russian     = {примеры}{примеры}
-                  }
-    , Crefname =  {
-                    , english     = {Examples}{Examples}
-                    , french      = [Les]{exemples}[Les]{exemples}
-                    , ngerman     = { {Beispiele}{Beispiele}
-                                      , Nominativ = [Die]{Beispiele}[Die]{Beispiele}
-                                      , Genitiv   = [Der]{Beispiele}[Der]{Beispiele}
-                                      , Dativ     = [Den]{Beispielen}[Den]{Beispielen}
-                                      , Akkusativ = [Die]{Beispiele}[Die]{Beispiele}
-                                    }
-                    , italian     = [Gli]{esempi}[Gli]{esempi}
-                    , portuguese  = [Os]{exemplos}[Os]{exemplos}
-                    , brazilian   = [Os]{exemplos}[Os]{exemplos}
-                    , spanish     = [Los]{ejemplos}[Los]{ejemplos}
-                    , schinese    = {例}{例}
-                    , tchinese    = {例}{例}
-                    , japanese    = {例}{例}
-                    , russian     = {Примеры}{Примеры}
-                  }
-  }
-
-\NameTheorem { exercises }
-  {
-    , heading =   {
-                    , english     = Exercises
-                    , french      = Exercices
-                    , ngerman     = ÜBungen
-                    , italian     = Esercizi
-                    , portuguese  = Exercícios
-                    , brazilian   = Exercícios
-                    , spanish     = Ejercicios
-                    , schinese    = 习题
-                    , tchinese    = 習題
-                    , japanese    = 練習
-                    , russian     = Упражнения
-                  }
-    , crefname =  {
-                    , english     = {exercises}{exercises}
-                    , french      = [les]{exercices}[les]{exercices}
-                    , ngerman     = { {Übungen}{Übungen}
-                                      , Nominativ = [die]{Übungen}[die]{Übungen}
-                                      , Genitiv   = [der]{Übungen}[der]{Übungen}
-                                      , Dativ     = [den]{Übungen}[den]{Übungen}
-                                      , Akkusativ = [die]{Übungen}[die]{Übungen}
-                                    }
-                    , italian     = [gli]{esercizi}[gli]{esercizi}
-                    , portuguese  = [os]{exercícios}[os]{exercícios}
-                    , brazilian   = [os]{exercícios}[os]{exercícios}
-                    , spanish     = [los]{ejercicios}[los]{ejercicios}
-                    , schinese    = {习题}{习题}
-                    , tchinese    = {習題}{習題}
-                    , japanese    = {練習}{練習}
-                    , russian     = {упражнения}{упражнения}
-                  }
-    , Crefname =  {
-                    , english     = {Exercises}{Exercises}
-                    , french      = [Les]{exercices}[Les]{exercices}
-                    , ngerman     = { {Übungen}{Übungen}
-                                      , Nominativ = [Die]{Übungen}[Die]{Übungen}
-                                      , Genitiv   = [Der]{Übungen}[Der]{Übungen}
-                                      , Dativ     = [Den]{Übungen}[Den]{Übungen}
-                                      , Akkusativ = [Die]{Übungen}[Die]{Übungen}
-                                    }
-                    , italian     = [Gli]{esercizi}[Gli]{esercizi}
-                    , portuguese  = [Os]{exercícios}[Os]{exercícios}
-                    , brazilian   = [Os]{exercícios}[Os]{exercícios}
-                    , spanish     = [Los]{ejercicios}[Los]{ejercicios}
-                    , schinese    = {习题}{习题}
-                    , tchinese    = {習題}{習題}
-                    , japanese    = {練習}{練習}
-                    , russian     = {Упражнения}{Упражнения}
-                  }
-  }
-
-\NameTheorem { facts }
-  {
-    , heading =   {
-                    , english     = Facts
-                    , french      = Faits
-                    , ngerman     = Tatsachen
-                    , italian     = Fatti
-                    , portuguese  = Factos
-                    , brazilian   = Fatos
-                    , spanish     = Hechos
-                    , schinese    = 事实
-                    , tchinese    = 事實
-                    , japanese    = 事実
-                    , russian     = Факты
-                  }
-    , crefname =  {
-                    , english     = {facts}{facts}
-                    , french      = [les]{faits}[les]{faits}
-                    , ngerman     = { {Tatsachen}{Tatsachen}
-                                      , Nominativ = [die]{Tatsachen}[die]{Tatsachen}
-                                      , Genitiv   = [der]{Tatsachen}[der]{Tatsachen}
-                                      , Dativ     = [den]{Tatsachen}[den]{Tatsachen}
-                                      , Akkusativ = [die]{Tatsachen}[die]{Tatsachen}
-                                    }
-                    , italian     = [i]{fatti}[i]{fatti}
-                    , portuguese  = [os]{factos}[os]{factos}
-                    , brazilian   = [os]{fatos}[os]{fatos}
-                    , spanish     = [los]{hechos}[los]{hechos}
-                    , schinese    = {事实}{事实}
-                    , tchinese    = {事實}{事實}
-                    , japanese    = {事実}{事実}
-                    , russian     = {факты}{факты}
-                  }
-    , Crefname =  {
-                    , english     = {Facts}{Facts}
-                    , french      = [Les]{faits}[Les]{faits}
-                    , ngerman     = { {Tatsachen}{Tatsachen}
-                                      , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen}
-                                      , Genitiv   = [Der]{Tatsachen}[Der]{Tatsachen}
-                                      , Dativ     = [Den]{Tatsachen}[Den]{Tatsachen}
-                                      , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen}
-                                    }
-                    , italian     = [I]{fatti}[I]{fatti}
-                    , portuguese  = [Os]{factos}[Os]{factos}
-                    , brazilian   = [Os]{fatos}[Os]{fatos}
-                    , spanish     = [Los]{hechos}[Los]{hechos}
-                    , schinese    = {事实}{事实}
-                    , tchinese    = {事實}{事實}
-                    , japanese    = {事実}{事実}
-                    , russian     = {Факты}{Факты}
-                  }
-  }
-
-\NameTheorem { hypotheses }
-  {
-    , heading =   {
-                    , english     = Hypotheses
-                    , french      = Hypothèses
-                    , ngerman     = Hypothesen
-                    , italian     = Ipotesi
-                    , portuguese  = Hipóteses
-                    , brazilian   = Hipóteses
-                    , spanish     = Hipótesis
-                    , schinese    = 假设
-                    , tchinese    = 假設
-                    , japanese    = 仮設
-                    , russian     = Гипотезы
-                  }
-    , crefname =  {
-                    , english     = {hypotheses}{hypotheses}
-                    , french      = [les]{hypothèses}[les]{hypothèses}
-                    , ngerman     = { {Hypothesen}{Hypothesen}
-                                      , Nominativ = [die]{Hypothesen}[die]{Hypothesen}
-                                      , Genitiv   = [der]{Hypothesen}[der]{Hypothesen}
-                                      , Dativ     = [den]{Hypothesen}[den]{Hypothesen}
-                                      , Akkusativ = [die]{Hypothesen}[die]{Hypothesen}
-                                    }
-                    , italian     = [le]{ipotesi}[le]{ipotesi}
-                    , portuguese  = [as]{hipóteses}[as]{hipóteses}
-                    , brazilian   = [as]{hipóteses}[as]{hipóteses}
-                    , spanish     = [las]{hipótesis}[las]{hipótesis}
-                    , schinese    = {假设}{假设}
-                    , tchinese    = {假設}{假設}
-                    , japanese    = {仮設}{仮設}
-                    , russian     = {гипотезы}{гипотезы}
-                  }
-    , Crefname =  {
-                    , english     = {Hypotheses}{Hypotheses}
-                    , french      = [Les]{hypothèses}[Les]{hypothèses}
-                    , ngerman     = { {Hypothesen}{Hypothesen}
-                                      , Nominativ = [Die]{Hypothesen}[Die]{Hypothesen}
-                                      , Genitiv   = [Der]{Hypothesen}[Der]{Hypothesen}
-                                      , Dativ     = [Den]{Hypothesen}[Den]{Hypothesen}
-                                      , Akkusativ = [Die]{Hypothesen}[Die]{Hypothesen}
-                                    }
-                    , italian     = [Le]{ipotesi}[Le]{ipotesi}
-                    , portuguese  = [As]{hipóteses}[As]{hipóteses}
-                    , brazilian   = [As]{hipóteses}[As]{hipóteses}
-                    , spanish     = [Las]{hipótesis}[Las]{hipótesis}
-                    , schinese    = {假设}{假设}
-                    , tchinese    = {假設}{假設}
-                    , japanese    = {仮設}{仮設}
-                    , russian     = {Гипотезы}{Гипотезы}
-                  }
-  }
-
-\NameTheorem { lemmas }
-  {
-    , heading   = {
-                    , english     = Lemmas
-                    , french      = Lemmes
-                    , ngerman     = Lemmata
-                    , italian     = Lemmi
-                    , portuguese  = Lemas
-                    , brazilian   = Lemas
-                    , spanish     = Lemas
-                    , schinese    = 引理
-                    , tchinese    = 引理
-                    , japanese    = 補題
-                    , russian     = Леммы
-                  }
-    , crefname  = {
-                    , english     = {Lemmas}{Lemmas}
-                    , french      = [les]{lemmes}[les]{lemmes}
-                    , ngerman     = { {Lemmata}{Lemmata}
-                                      , Nominativ = [die]{Lemmata}[die]{Lemmata}
-                                      , Genitiv   = [der]{Lemmata}[der]{Lemmata}
-                                      , Dativ     = [den]{Lemmata}[den]{Lemmata}
-                                      , Akkusativ = [die]{Lemmata}[die]{Lemmata}
-                                    }
-                    , italian     = [i]{lemmi}[i]{lemmi}
-                    , portuguese  = [os]{lemas}[os]{lemas}
-                    , brazilian   = [os]{lemas}[os]{lemas}
-                    , spanish     = [las]{lemas}[las]{lemas}
-                    , schinese    = {引理}{引理}
-                    , tchinese    = {引理}{引理}
-                    , japanese    = {補題}{補題}
-                    , russian     = {леммы}{леммы}
-                  }
-    , Crefname  = {
-                    , english     = {Lemmas}{Lemmas}
-                    , french      = [Les]{lemmes}[Les]{lemmes}
-                    , ngerman     = { {Lemmata}{Lemmata}
-                                      , Nominativ = [Die]{Lemmata}[Die]{Lemmata}
-                                      , Genitiv   = [Der]{Lemmata}[Der]{Lemmata}
-                                      , Dativ     = [Den]{Lemmata}[Den]{Lemmata}
-                                      , Akkusativ = [Die]{Lemmata}[Die]{Lemmata}
-                                    }
-                    , italian     = [I]{lemmi}[I]{lemmi}
-                    , portuguese  = [Os]{lemas}[Os]{lemas}
-                    , brazilian   = [Os]{lemas}[Os]{lemas}
-                    , spanish     = [las]{lemas}[las]{lemas}
-                    , schinese    = {引理}{引理}
-                    , tchinese    = {引理}{引理}
-                    , japanese    = {補題}{補題}
-                    , russian     = {Леммы}{Леммы}
-                  }
-  }
-
-\NameTheorem { motivations }
-  {
-    , heading =   {
-                    , english     = Motivations
-                    , french      = Motivations
-                    , ngerman     = Motivationen
-                    , italian     = Motivazioni
-                    , portuguese  = Motivações
-                    , brazilian   = Motivações
-                    , spanish     = Motivaciones
-                    , schinese    = 动机
-                    , tchinese    = 動機
-                    , japanese    = 動機
-                    , russian     = Мотивации
-                  }
-    , crefname =  {
-                    , english     = {motivations}{motivations}
-                    , french      = [les]{motivations}[les]{motivations}
-                    , ngerman     = { {Motivationen}{Motivationen}
-                                      , Nominativ = [die]{Motivationen}[die]{Motivationen}
-                                      , Genitiv   = [der]{Motivationen}[der]{Motivationen}
-                                      , Dativ     = [den]{Motivationen}[den]{Motivationen}
-                                      , Akkusativ = [die]{Motivationen}[die]{Motivationen}
-                                    }
-                    , italian     = [le]{motivazioni}[le]{motivazioni}
-                    , portuguese  = [as]{motivações}[as]{motivações}
-                    , brazilian   = [as]{motivações}[as]{motivações}
-                    , spanish     = [las]{motivaciones}[las]{motivaciones}
-                    , schinese    = {动机}{动机}
-                    , tchinese    = {動機}{動機}
-                    , japanese    = {動機}{動機}
-                    , russian     = {мотивации}{мотивации}
-                  }
-    , Crefname =  {
-                    , english     = {Motivations}{Motivations}
-                    , french      = [Les]{motivations}[Les]{motivations}
-                    , ngerman     = { {Motivationen}{Motivationen}
-                                      , Nominativ = [Die]{Motivationen}[Die]{Motivationen}
-                                      , Genitiv   = [Der]{Motivationen}[Der]{Motivationen}
-                                      , Dativ     = [Den]{Motivationen}[Den]{Motivationen}
-                                      , Akkusativ = [Die]{Motivationen}[Die]{Motivationen}
-                                    }
-                    , italian     = [Le]{motivazioni}[Le]{motivazioni}
-                    , portuguese  = [As]{motivações}[As]{motivações}
-                    , brazilian   = [As]{motivações}[As]{motivações}
-                    , spanish     = [Las]{motivaciones}[Las]{motivaciones}
-                    , schinese    = {动机}{动机}
-                    , tchinese    = {動機}{動機}
-                    , japanese    = {動機}{動機}
-                    , russian     = {Мотивации}{Мотивации}
-                  }
-  }
-
-\NameTheorem { notations }
-  {
-    , heading =   {
-                    , english     = Notations
-                    , french      = Notations
-                    , ngerman     = Notationen
-                    , italian     = Notazioni
-                    , portuguese  = Notações
-                    , brazilian   = Notações
-                    , spanish     = Notaciones
-                    , schinese    = 记号
-                    , tchinese    = 記號
-                    , japanese    = 記法
-                    , russian     = Нотации
-                  }
-    , crefname =  {
-                    , english     = {notations}{notations}
-                    , french      = [les]{notations}[les]{notations}
-                    , ngerman     = { {Notationen}{Notationen}
-                                      , Nominativ = [die]{Notationen}[die]{Notationen}
-                                      , Genitiv   = [der]{Notationen}[der]{Notationen}
-                                      , Dativ     = [den]{Notationen}[den]{Notationen}
-                                      , Akkusativ = [die]{Notationen}[die]{Notationen}
-                                    }
-                    , italian     = [le]{notazioni}[le]{notazioni}
-                    , portuguese  = [as]{notações}[as]{notações}
-                    , brazilian   = [as]{notações}[as]{notações}
-                    , spanish     = [las]{notaciones}[las]{notaciones}
-                    , schinese    = {记号}{记号}
-                    , tchinese    = {記號}{記號}
-                    , japanese    = {記法}{記法}
-                    , russian     = {нотации}{нотации}
-                  }
-    , Crefname =  {
-                    , english     = {Notations}{Notations}
-                    , french      = [Les]{notations}[Les]{notations}
-                    , ngerman     = { {Notationen}{Notationen}
-                                      , Nominativ = [Die]{Notationen}[Die]{Notationen}
-                                      , Genitiv   = [Der]{Notationen}[Der]{Notationen}
-                                      , Dativ     = [Den]{Notationen}[Den]{Notationen}
-                                      , Akkusativ = [Die]{Notationen}[Die]{Notationen}
-                                    }
-                    , italian     = [Le]{notazioni}[Le]{notazioni}
-                    , portuguese  = [As]{notações}[As]{notações}
-                    , brazilian   = [As]{notações}[As]{notações}
-                    , spanish     = [Las]{notaciones}[Las]{notaciones}
-                    , schinese    = {记号}{记号}
-                    , tchinese    = {記號}{記號}
-                    , japanese    = {記法}{記法}
-                    , russian     = {Нотации}{Нотации}
-                  }
-  }
-
-\NameTheorem { observations }
-  {
-    , heading =   {
-                    , english     = Observations
-                    , french      = Observations
-                    , ngerman     = Beobachtungen
-                    , italian     = Osservazioni
-                    , portuguese  = Observações
-                    , brazilian   = Observações
-                    , spanish     = Observaciones
-                    , schinese    = 观察
-                    , tchinese    = 觀察
-                    , japanese    = 観察
-                    , russian     = Наблюдения
-                  }
-    , crefname =  {
-                    , english     = {observations}{observations}
-                    , french      = [les]{observations}[les]{observations}
-                    , ngerman     = { {Beobachtungen}{Beobachtungen}
-                                      , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen}
-                                      , Genitiv   = [der]{Beobachtungen}[der]{Beobachtungen}
-                                      , Dativ     = [den]{Beobachtungen}[den]{Beobachtungen}
-                                      , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen}
-                                    }
-                    , italian     = [le]{osservazioni}[le]{osservazioni}
-                    , portuguese  = [as]{observações}[as]{observações}
-                    , brazilian   = [as]{observações}[as]{observações}
-                    , spanish     = [las]{observaciones}[las]{observaciones}
-                    , schinese    = {观察}{观察}
-                    , tchinese    = {觀察}{觀察}
-                    , japanese    = {観察}{観察}
-                    , russian     = {наблюдения}{наблюдения}
-                  }
-    , Crefname =  {
-                    , english     = {Observations}{Observations}
-                    , french      = [Les]{observations}[Les]{observations}
-                    , ngerman     = { {Beobachtungen}{Beobachtungen}
-                                      , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
-                                      , Genitiv   = [Der]{Beobachtungen}[Der]{Beobachtungen}
-                                      , Dativ     = [Den]{Beobachtungen}[Den]{Beobachtungen}
-                                      , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
-                                    }
-                    , italian     = [Le]{osservazioni}[Le]{osservazioni}
-                    , portuguese  = [As]{observações}[As]{observações}
-                    , brazilian   = [As]{observações}[As]{observações}
-                    , spanish     = [Las]{observaciones}[Las]{observaciones}
-                    , schinese    = {观察}{观察}
-                    , tchinese    = {觀察}{觀察}
-                    , japanese    = {観察}{観察}
-                    , russian     = {Наблюдения}{Наблюдения}
-                  }
-  }
-
-\NameTheorem { postulates }
-  {
-    , heading =   {
-                    , english     = Postulates
-                    , french      = Postulats
-                    , ngerman     = Postulate
-                    , italian     = Postulati
-                    , portuguese  = Postulados
-                    , brazilian   = Postulados
-                    , spanish     = Postulados
-                    , schinese    = 公设
-                    , tchinese    = 公設
-                    , japanese    = 公準
-                    , russian     = Постулаты
-                  }
-    , crefname =  {
-                    , english     = {postulates}{postulates}
-                    , french      = [les]{postulats}[les]{postulats}
-                    , ngerman     = { {Postulate}{Postulate}
-                                      , Nominativ = [die]{Postulate}[die]{Postulate}
-                                      , Genitiv   = [der]{Postulate}[der]{Postulate}
-                                      , Dativ     = [den]{Postulaten}[den]{Postulaten}
-                                      , Akkusativ = [die]{Postulate}[die]{Postulate}
-                                    }
-                    , italian     = [i]{postulati}[i]{postulati}
-                    , portuguese  = [os]{postulados}[os]{postulados}
-                    , brazilian   = [os]{postulados}[os]{postulados}
-                    , spanish     = [los]{postulados}[los]{postulados}
-                    , schinese    = {公设}{公设}
-                    , tchinese    = {公設}{公設}
-                    , japanese    = {公準}{公準}
-                    , russian     = {постулаты}{постулаты}
-                  }
-    , Crefname =  {
-                    , english     = {Postulates}{Postulates}
-                    , french      = [Les]{postulats}[Les]{postulats}
-                    , ngerman     = { {Postulate}{Postulate}
-                                      , Nominativ = [Die]{Postulate}[Die]{Postulate}
-                                      , Genitiv   = [Der]{Postulate}[Der]{Postulate}
-                                      , Dativ     = [Den]{Postulaten}[Den]{Postulaten}
-                                      , Akkusativ = [Die]{Postulate}[Die]{Postulate}
-                                    }
-                    , italian     = [I]{postulati}[I]{postulati}
-                    , portuguese  = [Os]{postulados}[Os]{postulados}
-                    , brazilian   = [Os]{postulados}[Os]{postulados}
-                    , spanish     = [Los]{postulados}[Los]{postulados}
-                    , schinese    = {公设}{公设}
-                    , tchinese    = {公設}{公設}
-                    , japanese    = {公準}{公準}
-                    , russian     = {Постулаты}{Постулаты}
-                  }
-  }
-
-\NameTheorem { problems }
-  {
-    , heading =   {
-                    , english     = Problems
-                    , french      = Problèmes
-                    , ngerman     = Probleme
-                    , italian     = Problemi
-                    , portuguese  = Problemas
-                    , brazilian   = Problemas
-                    , spanish     = Problemas
-                    , schinese    = 问题
-                    , tchinese    = 問題
-                    , japanese    = 問題
-                    , russian     = Проблемы
-                  }
-    , crefname =  {
-                    , english     = {problems}{problems}
-                    , french      = [les]{problèmes}[les]{problèmes}
-                    , ngerman     = { {Probleme}{Probleme}
-                                      , Nominativ = [die]{Probleme}[die]{Probleme}
-                                      , Genitiv   = [der]{Probleme}[der]{Probleme}
-                                      , Dativ     = [den]{Problemen}[den]{Problemen}
-                                      , Akkusativ = [die]{Probleme}[die]{Probleme}
-                                    }
-                    , italian     = [i]{problemi}[i]{problemi}
-                    , portuguese  = [os]{problemas}[os]{problemas}
-                    , brazilian   = [os]{problemas}[os]{problemas}
-                    , spanish     = [los]{problemas}[los]{problemas}
-                    , schinese    = {问题}{问题}
-                    , tchinese    = {問題}{問題}
-                    , japanese    = {問題}{問題}
-                    , russian     = {проблемы}{проблемы}
-                  }
-    , Crefname =  {
-                    , english     = {Problems}{Problems}
-                    , french      = [Les]{problèmes}[Les]{problèmes}
-                    , ngerman     = { {Probleme}{Probleme}
-                                      , Nominativ = [Die]{Probleme}[Die]{Probleme}
-                                      , Genitiv   = [Der]{Probleme}[Der]{Probleme}
-                                      , Dativ     = [Den]{Problemen}[Den]{Problemen}
-                                      , Akkusativ = [Die]{Probleme}[Die]{Probleme}
-                                    }
-                    , italian     = [I]{problemi}[I]{problemi}
-                    , portuguese  = [Os]{problemas}[Os]{problemas}
-                    , brazilian   = [Os]{problemas}[Os]{problemas}
-                    , spanish     = [Los]{problemas}[Los]{problemas}
-                    , schinese    = {问题}{问题}
-                    , tchinese    = {問題}{問題}
-                    , japanese    = {問題}{問題}
-                    , russian     = {Проблемы}{Проблемы}
-                  }
-  }
-
-\NameTheorem { properties }
-  {
-    , heading =   {
-                    , english     = Properties
-                    , french      = Propriétés
-                    , ngerman     = Eigenschaften
-                    , italian     = Proprietà
-                    , portuguese  = Propriedades
-                    , brazilian   = Propriedades
-                    , spanish     = Propiedades
-                    , schinese    = 性质
-                    , tchinese    = 性質
-                    , japanese    = 性質
-                    , russian     = Имущества
-                  }
-    , crefname =  {
-                    , english     = {properties}{properties}
-                    , french      = [les]{propriétés}[les]{propriétés}
-                    , ngerman     = { {Eigenschaften}{Eigenschaften}
-                                      , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften}
-                                      , Genitiv   = [der]{Eigenschaften}[der]{Eigenschaften}
-                                      , Dativ     = [den]{Eigenschaften}[den]{Eigenschaften}
-                                      , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften}
-                                    }
-                    , italian     = [le]{proprietà}[le]{proprietà}
-                    , portuguese  = [as]{propriedades}[as]{propriedades}
-                    , brazilian   = [as]{propriedades}[as]{propriedades}
-                    , spanish     = [las]{propiedades}[las]{propiedades}
-                    , schinese    = {性质}{性质}
-                    , tchinese    = {性質}{性質}
-                    , japanese    = {性質}{性質}
-                    , russian     = {имущества}{имущества}
-                  }
-    , Crefname =  {
-                    , english     = {Properties}{Properties}
-                    , french      = [Les]{propriétés}[Les]{propriétés}
-                    , ngerman     = { {Eigenschaften}{Eigenschaften}
-                                      , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
-                                      , Genitiv   = [Der]{Eigenschaften}[Der]{Eigenschaften}
-                                      , Dativ     = [Den]{Eigenschaften}[Den]{Eigenschaften}
-                                      , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
-                                    }
-                    , italian     = [Le]{proprietà}[Le]{proprietà}
-                    , portuguese  = [As]{propriedades}[As]{propriedades}
-                    , brazilian   = [As]{propriedades}[As]{propriedades}
-                    , spanish     = [Las]{propiedades}[Las]{propiedades}
-                    , schinese    = {性质}{性质}
-                    , tchinese    = {性質}{性質}
-                    , japanese    = {性質}{性質}
-                    , russian     = {Имущества}{Имущества}
-                  }
-  }
-
-\NameTheorem { propositions }
-  {
-    , heading =   {
-                    , english     = Propositions
-                    , french      = Propositions
-                    , ngerman     = Propositionen
-                    , italian     = Proposte
-                    , portuguese  = Proposições
-                    , brazilian   = Proposições
-                    , spanish     = Proposiciones
-                    , schinese    = 命题
-                    , tchinese    = 命題
-                    , japanese    = 命題
-                    , russian     = Предложения
-                  }
-    , crefname =  {
-                    , english     = {propositions}{propositions}
-                    , french      = [les]{propositions}[les]{propositions}
-                    , ngerman     = { {Propositionen}{Propositionen}
-                                      , Nominativ = [die]{Propositionen}[die]{Propositionen}
-                                      , Genitiv   = [der]{Propositionen}[der]{Propositionen}
-                                      , Dativ     = [den]{Propositionen}[den]{Propositionen}
-                                      , Akkusativ = [die]{Propositionen}[die]{Propositionen}
-                                    }
-                    , italian     = [le]{proposte}[le]{proposte}
-                    , portuguese  = [as]{proposições}[as]{proposições}
-                    , brazilian   = [as]{proposições}[as]{proposições}
-                    , spanish     = [las]{proposiciones}[las]{proposiciones}
-                    , schinese    = {命题}{命题}
-                    , tchinese    = {命題}{命題}
-                    , japanese    = {命題}{命題}
-                    , russian     = {предложения}{предложения}
-                  }
-    , Crefname =  {
-                    , english     = {Propositions}{Propositions}
-                    , french      = [Les]{propositions}[Les]{propositions}
-                    , ngerman     = { {Propositionen}{Propositionen}
-                                      , Nominativ = [Die]{Propositionen}[Die]{Propositionen}
-                                      , Genitiv   = [Der]{Propositionen}[Der]{Propositionen}
-                                      , Dativ     = [Den]{Propositionen}[Den]{Propositionen}
-                                      , Akkusativ = [Die]{Propositionen}[Die]{Propositionen}
-                                    }
-                    , italian     = [Le]{proposte}[Le]{proposte}
-                    , portuguese  = [As]{proposições}[As]{proposições}
-                    , brazilian   = [As]{proposições}[As]{proposições}
-                    , spanish     = [Las]{proposiciones}[Las]{proposiciones}
-                    , schinese    = {命题}{命题}
-                    , tchinese    = {命題}{命題}
-                    , japanese    = {命題}{命題}
-                    , russian     = {Предложения}{Предложения}
-                  }
-  }
-
-\NameTheorem { questions }
-  {
-    , heading =   {
-                    , english     = Questions
-                    , french      = Questions
-                    , ngerman     = Fragen
-                    , italian     = Domande
-                    , portuguese  = Perguntas
-                    , brazilian   = Perguntas
-                    , spanish     = Preguntas
-                    , schinese    = 问题
-                    , tchinese    = 問題
-                    , japanese    = 問題
-                    , russian     = Вопросы
-                  }
-    , crefname =  {
-                    , english     = {questions}{questions}
-                    , french      = [les]{questions}[les]{questions}
-                    , ngerman     = { {Fragen}{Fragen}
-                                      , Nominativ = [die]{Fragen}[die]{Fragen}
-                                      , Genitiv   = [der]{Fragen}[der]{Fragen}
-                                      , Dativ     = [den]{Fragen}[den]{Fragen}
-                                      , Akkusativ = [die]{Fragen}[die]{Fragen}
-                                    }
-                    , italian     = [le]{domande}[le]{domande}
-                    , portuguese  = [as]{perguntas}[as]{perguntas}
-                    , brazilian   = [as]{perguntas}[as]{perguntas}
-                    , spanish     = [las]{preguntas}[las]{preguntas}
-                    , schinese    = {问题}{问题}
-                    , tchinese    = {問題}{問題}
-                    , japanese    = {問題}{問題}
-                    , russian     = {вопросы}{вопросы}
-                  }
-    , Crefname =  {
-                    , english     = {Questions}{Questions}
-                    , french      = [Les]{questions}[Les]{questions}
-                    , ngerman     = { {Fragen}{Fragen}
-                                      , Nominativ = [Die]{Fragen}[Die]{Fragen}
-                                      , Genitiv   = [Der]{Fragen}[Der]{Fragen}
-                                      , Dativ     = [Den]{Fragen}[Den]{Fragen}
-                                      , Akkusativ = [Die]{Fragen}[Die]{Fragen}
-                                    }
-                    , italian     = [Le]{domande}[Le]{domande}
-                    , portuguese  = [As]{perguntas}[As]{perguntas}
-                    , brazilian   = [As]{perguntas}[As]{perguntas}
-                    , spanish     = [Las]{preguntas}[Las]{preguntas}
-                    , schinese    = {问题}{问题}
-                    , tchinese    = {問題}{問題}
-                    , japanese    = {問題}{問題}
-                    , russian     = {Вопросы}{Вопросы}
-                  }
-  }
-
-\NameTheorem { recalls }
-  {
-    , heading =   {
-                    , english     = Recalls
-                    , french      = Rappels
-                    , ngerman     = Erinnerungen
-                    , italian     = Richiami
-                    , portuguese  = Recordações
-                    , brazilian   = Recordações
-                    , spanish     = Recuerdos
-                    , schinese    = 回顾
-                    , tchinese    = 回顧
-                    , japanese    = 回顧
-                    , russian     = Напоминания
-                  }
-    , crefname =  {
-                    , english     = {recalls}{recalls}
-                    , french      = [les]{rappels}[les]{rappels}
-                    , ngerman     = { {Erinnerungen}{Erinnerungen}
-                                      , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen}
-                                      , Genitiv   = [der]{Erinnerungen}[der]{Erinnerungen}
-                                      , Dativ     = [den]{Erinnerungen}[den]{Erinnerungen}
-                                      , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen}
-                                    }
-                    , italian     = [i]{richiami}[i]{richiami}
-                    , portuguese  = [as]{recordações}[as]{recordações}
-                    , brazilian   = [as]{recordações}[as]{recordações}
-                    , spanish     = [los]{recuerdos}[los]{recuerdos}
-                    , schinese    = {回顾}{回顾}
-                    , tchinese    = {回顧}{回顧}
-                    , japanese    = {回顧}{回顧}
-                    , russian     = {напоминания}{напоминания}
-                  }
-    , Crefname =  {
-                    , english     = {Recalls}{Recalls}
-                    , french      = [Les]{rappels}[Les]{rappels}
-                    , ngerman     = { {Erinnerungen}{Erinnerungen}
-                                      , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
-                                      , Genitiv   = [Der]{Erinnerungen}[Der]{Erinnerungen}
-                                      , Dativ     = [Den]{Erinnerungen}[Den]{Erinnerungen}
-                                      , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
-                                    }
-                    , italian     = [I]{richiami}[I]{richiami}
-                    , portuguese  = [As]{recordações}[As]{recordações}
-                    , brazilian   = [As]{recordações}[As]{recordações}
-                    , spanish     = [Los]{recuerdos}[Los]{recuerdos}
-                    , schinese    = {回顾}{回顾}
-                    , tchinese    = {回顧}{回顧}
-                    , japanese    = {回顧}{回顧}
-                    , russian     = {Напоминания}{Напоминания}
-                  }
-  }
-
-\NameTheorem { remarks }
-  {
-    , heading =   {
-                    , english     = Remarks
-                    , french      = Remarques
-                    , ngerman     = Bemerkungen
-                    , italian     = Commenti
-                    , portuguese  = Comentários
-                    , brazilian   = Comentários
-                    , spanish     = Comentarios
-                    , schinese    = 备注
-                    , tchinese    = 備註
-                    , japanese    = 注釈
-                    , russian     = Замечания
-                  }
-    , crefname =  {
-                    , english     = {remarks}{remarks}
-                    , french      = [les]{remarques}[les]{remarques}
-                    , ngerman     = { {Bemerkungen}{Bemerkungen}
-                                      , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen}
-                                      , Genitiv   = [der]{Bemerkungen}[der]{Bemerkungen}
-                                      , Dativ     = [den]{Bemerkungen}[den]{Bemerkungen}
-                                      , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen}
-                                    }
-                    , italian     = [i]{commenti}[i]{commenti}
-                    , portuguese  = [os]{comentários}[os]{comentários}
-                    , brazilian   = [os]{comentários}[os]{comentários}
-                    , spanish     = [los]{comentarios}[los]{comentarios}
-                    , schinese    = {备注}{备注}
-                    , tchinese    = {備註}{備註}
-                    , japanese    = {注釈}{注釈}
-                    , russian     = {замечания}{замечания}
-                  }
-    , Crefname =  {
-                    , english     = {Remarks}{Remarks}
-                    , french      = [Les]{remarques}[Les]{remarques}
-                    , ngerman     = { {Bemerkungen}{Bemerkungen}
-                                      , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
-                                      , Genitiv   = [Der]{Bemerkungen}[Der]{Bemerkungen}
-                                      , Dativ     = [Den]{Bemerkungen}[Den]{Bemerkungen}
-                                      , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
-                                    }
-                    , italian     = [I]{commenti}[I]{commenti}
-                    , portuguese  = [Os]{comentários}[Os]{comentários}
-                    , brazilian   = [Os]{comentários}[Os]{comentários}
-                    , spanish     = [Los]{comentarios}[Los]{comentarios}
-                    , schinese    = {备注}{备注}
-                    , tchinese    = {備註}{備註}
-                    , japanese    = {注釈}{注釈}
-                    , russian     = {Замечания}{Замечания}
-                  }
-  }
-
-\NameTheorem { theorems }
-  {
-    , heading =   {
-                    , english     = Theorems
-                    , french      = Théorèmes
-                    , ngerman     = Sätze
-                    , italian     = Teoremi
-                    , portuguese  = Teoremas
-                    , brazilian   = Teoremas
-                    , spanish     = Teoremas
-                    , schinese    = 定理
-                    , tchinese    = 定理
-                    , japanese    = 定理
-                    , russian     = Теоремы
-                  }
-    , crefname =  {
-                    , english     = {theorems}{theorems}
-                    , french      = [les]{théorèmes}[les]{théorèmes}
-                    , ngerman     = { {Sätze}{Sätze}
-                                      , Nominativ = [die]{Sätze}[die]{Sätze}
-                                      , Genitiv   = [der]{Sätze}[der]{Sätze}
-                                      , Dativ     = [den]{Sätzen}[den]{Sätzen}
-                                      , Akkusativ = [die]{Sätze}[die]{Sätze}
-                                    }
-                    , italian     = [i]{teoremi}[i]{teoremi}
-                    , portuguese  = [os]{teoremas}[os]{teoremas}
-                    , brazilian   = [os]{teoremas}[os]{teoremas}
-                    , spanish     = [los]{teoremas}[los]{teoremas}
-                    , schinese    = {定理}{定理}
-                    , tchinese    = {定理}{定理}
-                    , japanese    = {定理}{定理}
-                    , russian     = {теоремы}{теоремы}
-                  }
-    , Crefname =  {
-                    , english     = {Theorems}{Theorems}
-                    , french      = [Les]{théorèmes}[Les]{théorèmes}
-                    , ngerman     = { {Sätze}{Sätze}
-                                      , Nominativ = [Die]{Sätze}[Die]{Sätze}
-                                      , Genitiv   = [Der]{Sätze}[Der]{Sätze}
-                                      , Dativ     = [Den]{Sätzen}[Den]{Sätzen}
-                                      , Akkusativ = [Die]{Sätze}[Die]{Sätze}
-                                    }
-                    , italian     = [I]{teoremi}[I]{teoremi}
-                    , portuguese  = [Os]{teoremas}[Os]{teoremas}
-                    , brazilian   = [Os]{teoremas}[Os]{teoremas}
-                    , spanish     = [Los]{teoremas}[Los]{teoremas}
-                    , schinese    = {定理}{定理}
-                    , tchinese    = {定理}{定理}
-                    , japanese    = {定理}{定理}
-                    , russian     = {Теоремы}{Теоремы}
-                  }
-  }

Deleted: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex
===================================================================
--- branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex	2024-02-26 21:00:29 UTC (rev 70179)
+++ branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem-preset-names.tex	2024-02-26 21:00:42 UTC (rev 70180)
@@ -1,1495 +0,0 @@
-%=============================
-%   ---  Preset Names  ---
-%=============================
-
-\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-proposition } { combined = { definition ; proposition } }
-\NameTheorem { definition-theorem } { combined = { definition ; theorem } }
-
-\NameTheorem { corollary-definition } { combined = { corollary ; definition } }
-\NameTheorem { proposition-definition } { combined = { proposition ; definition } }
-\NameTheorem { theorem-definition } { combined = { theorem ; definition } }

Modified: branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty
===================================================================
--- branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty	2024-02-26 21:00:29 UTC (rev 70179)
+++ branches/branch2023.final/Master/texmf-dist/tex/latex/create-theorem/create-theorem.sty	2024-02-26 21:00:42 UTC (rev 70180)
@@ -12,7 +12,7 @@
 \NeedsTeXFormat{LaTeX2e}[2022-06-01]
 \ProvidesExplPackage
   {create-theorem}
-  {2024/02/20a} {}
+  {2024/02/25} {}
   {Initializing theorem-like environments with multilingual support}
 
 \keys_define:nn { create-theorem }
@@ -1170,11 +1170,11 @@
       }
   }
 
-
+% Load predefined namesets
 \bool_if:NT \l__crthm_presetname_bool
   {
-    \input { create-theorem-preset-names }
-    \input { create-theorem-preset-names-plural }
+    \input { create-theorem-preset-names-cleveref }
+    \input { create-theorem-preset-names-plural-cleveref }
   }
 
 \endinput



More information about the tex-live-commits mailing list.