From b27d5ecc7cba92635475b78660b083793d93a3e7 Mon Sep 17 00:00:00 2001
From: Norbert Preining <norbert@preining.info>
Date: Mon, 1 Nov 2021 03:02:12 +0000
Subject: CTAN sync 202111010302

---
 macros/latex/contrib/projlib/ProjLib.dtx | 1818 +++++++++++++++++++++++++-----
 1 file changed, 1541 insertions(+), 277 deletions(-)

(limited to 'macros/latex/contrib/projlib/ProjLib.dtx')

diff --git a/macros/latex/contrib/projlib/ProjLib.dtx b/macros/latex/contrib/projlib/ProjLib.dtx
index 27f8619edb..acc6da6308 100644
--- a/macros/latex/contrib/projlib/ProjLib.dtx
+++ b/macros/latex/contrib/projlib/ProjLib.dtx
@@ -18,47 +18,47 @@
 %
 %<*ProjLib>
 \ProvidesPackage{ProjLib}
-    [2021/10/24 The collective interface of ProjLib toolkit]
+    [2021/10/30 The collective interface of ProjLib toolkit]
 %</ProjLib>
 %
 %<*PJLauthor>
 \ProvidesPackage{PJLauthor}
-    [2021/10/24 Enhanced author information block]
+    [2021/10/30 Enhanced author information block]
 %</PJLauthor>
 %
 %<*PJLdate>
 \ProvidesPackage{PJLdate}
-    [2021/10/24 Convert yyyy-mm-dd to normal datetime format]
+    [2021/10/30 Convert yyyy-mm-dd to normal datetime format]
 %</PJLdate>
 %
 %<*PJLdraft>
 \ProvidesPackage{PJLdraft}
-    [2021/10/24 Some useful macros for the draft stage]
+    [2021/10/30 Some useful macros for the draft stage]
 %</PJLdraft>
 %
 %<*PJLlang>
 \ProvidesPackage{PJLlang}
-    [2021/10/24 Multi-language configuration]
+    [2021/10/30 Multi-language configuration]
 %</PJLlang>
 %
 %<*PJLlogo>
 \ProvidesPackage{PJLlogo}
-    [2021/10/24 The ProjLib logo]
+    [2021/10/30 The ProjLib logo]
 %</PJLlogo>
 %
 %<*PJLmath>
 \ProvidesPackage{PJLmath}
-    [2021/10/24 Useful math macros and shortcuts]
+    [2021/10/30 Useful math macros and shortcuts]
 %</PJLmath>
 %
 %<*PJLpaper>
 \ProvidesPackage{PJLpaper}
-    [2021/10/24 Paper style configuration]
+    [2021/10/30 Paper style configuration]
 %</PJLpaper>
 %
 %<*PJLthm>
 \ProvidesPackage{PJLthm}
-    [2021/10/24 Theorem setup and configuration]
+    [2021/10/30 Theorem setup and configuration]
 %</PJLthm>
 %
 %# 下面两行引入宏包的代码是所有文件共用的。
@@ -1405,6 +1405,10 @@
 %# Reference name will change with the current language
 \DeclareBoolOption[true]{regionalref}
 \DeclareBoolOption[false]{originalref}
+%# 名称采用详尽设置或简易设置
+%# Detailed or simple settings for the name of theorem-like environments
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
 %# 处理选项
 %# Process options
 \ProcessKeyvalOptions*\relax
@@ -1413,6 +1417,9 @@
 \if@PJLthm@originalref
     \@PJLthm@regionalreffalse
 \fi
+\if@PJLthm@simplename
+    \@PJLthm@complexnamefalse
+\fi
 \if@PJLthm@draft
     \@PJLthm@fasttrue
 \fi
@@ -1423,16 +1430,27 @@
 \@ifclassloaded{beamer}{%
     \RequirePackage{silence}
     \WarningFilter{cleveref}{hyperref package loaded with implicit=false option}
+    \@PJLthm@nothmnumtrue%
+    \if@PJLthm@nothms\else%
+        \let\theorem\relax
+        \let\lemma\relax
+        \let\corollary\relax
+        \let\definition\relax
+        \let\fact\relax
+        \let\example\relax
+        \let\problem\relax
+    \fi
 }{}
 
 \RequirePackage{PJLlang}
 \RequirePackage{amsmath,amsthm}
 \RequirePackage{aliascnt}
 \PassOptionsToPackage{nameinlink}{cleveref}
-\RequirePackage{cleveref}
+\RequirePackage{ccref}
 
 %# 用于命名定理类环境的用户命令
 %# Macro for naming theorems
+\RequirePackage{xparse}
 \RequirePackage{xstring}
 \NewDocumentCommand{\NameTheorem}{omm}{%
     \protected@edef\PJLthm@temp{#2}%
@@ -1523,18 +1541,22 @@
                     \newaliascnt{#2#3}{PJL#2#3}%
                 }{%
                     \IfValueTF{#4}{%
-                            \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}
+                            \newtheorem{PJL#2#3}[#4]{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
                         }{%
-                            \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}  
+                            \newtheorem{PJL#2#3}{\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
                             \newaliascnt{#2#3}{PJL#2#3}%
                         }%
                 }%
-                \crefname{PJL#2#3}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                \Crefname{PJL#2#3}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
-                    {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \ifcsname cref@PJL#2#3@name\endcsname\else%
+                    \crefname{PJL#2#3}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \fi%
+                \ifcsname Cref@PJL#2#3@name\endcsname\else%
+                    \Crefname{PJL#2#3}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                        {\csname#2name\csname\languagename ABBR\endcsname\endcsname}%
+                \fi%
                 \NewDocumentEnvironment{#2#3}{}
                     {\begin{PJL#2#3}}
                     {\end{PJL#2#3}}
@@ -1542,7 +1564,7 @@
         }%
     }%
     \IfValueTF{#7}{%
-        \CreateTheoremSetKeys{#2}{#7}%
+        \NameTheorem{#2}{#7}%
     }{}%
 }%
 \else
@@ -1655,7 +1677,7 @@
         }%
     }%
     \IfValueTF{#7}{%
-        \CreateTheoremSetKeys{#2}{#7}%
+        \NameTheorem{#2}{#7}%
     }{}%
 }%
 \NewDocumentCommand{\CreateTheoremNumberedLikeAliasCounter}{mmm}{%
@@ -1669,16 +1691,20 @@
 %     \Crefname{#1#2#3}%
 %         {\csname#1name#2\endcsname}%
 %         {\csname#1name#2\endcsname}%
-    \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-    {%
+    \ifcsname cref@#1#2#3@name\endcsname\else%
         \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-        {\crefname{#1#2#3}}%
-    }%
-    \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-    {%
+        {%
+            \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+            {\crefname{#1#2#3}}%
+        }%
+    \fi%
+    \ifcsname Cref@#1#2#3@name\endcsname\else%
         \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
-        {\Crefname{#1#2#3}}%
-    }%
+        {%
+            \expandafter\PassFirstToSecond\expandafter{\csname#1name#2\endcsname}%
+            {\Crefname{#1#2#3}}%
+        }%
+    \fi%
 }%
 \fi
 
@@ -1710,8 +1736,8 @@
 % The keys for the inner level are defined via  \keys_define:nn .
 
 \NewDocumentCommand \CreateTheoremSetKeys { mm } {
-  % #1 = name of counter
-  % #2 = keyval-list of language-specifications
+% #1 = name of counter
+% #2 = keyval-list of language-specifications
   \cs_set:Nn \__PJLthm_countername: {#1}
   \keyval_parse:nnn { \PJLthm_exchange_i_iii_ii:nnn { \PJLthm_setlanguagespecificparameters:nn } {} } 
                     { \PJLthm_setlanguagespecificparameters:nn }
@@ -1719,29 +1745,35 @@
 }
 
 \cs_new_protected:Nn \PJLthm_setlanguagespecificparameters:nn {
-  % #1 = language-prefix
-  % #2 = key-val-list for language whose prefix is language-prefix
+% #1 = language-prefix
+% #2 = key-val-list for language whose prefix is language-prefix
   \cs_set:Nx \__PJLthm_languageprefix: {\StrToABBR{#1}}
   \exp_args:No \tl_if_empty:nTF {\__PJLthm_languageprefix:} 
     { \msg_error:nn { PJLthm }
-                    { No language \exp_not:n{#1} defined }
+                    { No~language~"\exp_not:n{#1}"~defined }
     }%
     {%
-        \ifcsname the\__PJLthm_countername:\endcsname\else
-            \newcounter{\__PJLthm_countername:}%
-        \fi
-        \newaliascnt {\__PJLthm_countername: \__PJLthm_languageprefix:} {\__PJLthm_countername:}%
-        \aliascntresetthe {\__PJLthm_countername: \__PJLthm_languageprefix:}%
         \keys_set:nn { PJLthm } { #2 } 
     }%
 }%
+
 \keys_define:nn { PJLthm } {
   crefname.code:n  = \cs_if_exist:NTF \crefname  {
-                        \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        \ifbool{@PJLthm@regionalref}{
+                            \exp_args:Nx \PJLthm@setcrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                            \exp_args:Nx \PJLthm@setcrefname{PJL\__PJLthm_countername: }
+                        }{
+                            \exp_args:Nx \crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        }
                      }{},
   crefname.value_required:n = true,
-  Crefname.code:n  = \cs_if_exist:NTF \Crefname  { 
-                        \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+  Crefname.code:n  = \cs_if_exist:NTF \Crefname  {
+                        \ifbool{@PJLthm@regionalref}{
+                            \exp_args:Nx \PJLthm@setCrefinnername{PJL\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                            \exp_args:Nx \PJLthm@setCrefname{PJL\__PJLthm_countername: }
+                        }{
+                            \exp_args:Nx \Crefname {\__PJLthm_countername: \__PJLthm_languageprefix: }#1
+                        }
                      }{},
   Crefname.value_required:n = true,
   name.code:n  = \exp_args:Nx \cs_set:cpn {\__PJLthm_countername: name \__PJLthm_languageprefix:} {#1},
@@ -1763,267 +1795,1490 @@
 
 \ExplSyntaxOff
 
+% Some command for regionalref mode
+\newcommand{\PJLthm@setcrefinnername}[3]{%
+    \expandafter\def\csname PJLthm@cref@#1@name\endcsname{#2}%
+    \expandafter\def\csname PJLthm@cref@#1@name@plural\endcsname{#3}%
+}
+\newcommand{\PJLthm@setCrefinnername}[3]{%
+    \expandafter\def\csname PJLthm@Cref@#1@name\endcsname{#2}%
+    \expandafter\def\csname PJLthm@Cref@#1@name@plural\endcsname{#3}%
+}
+
+\newcommand{\PJLthm@setcrefname}[1]{%
+    \crefname{#1}%
+        {\csname PJLthm@cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+        {\csname PJLthm@cref@#1\csname\languagename ABBR\endcsname @name@plural\endcsname}%
+}
+\newcommand{\PJLthm@setCrefname}[1]{%
+    \Crefname{#1}%
+        {\csname PJLthm@Cref@#1\csname\languagename ABBR\endcsname @name\endcsname}%
+        {\csname PJLthm@Cref@#1\csname\languagename ABBR\endcsname @name@plural\endcsname}%
+}
+
+%# 设置定理类环境名称
+%# Set the names of theorem-like environments
+\ifbool{@PJLthm@complexname}{
+    \NameTheorem{theorem}{
+        EN = {
+            name = {Theorem},
+            crefname = {theorem}{theorems},
+            Crefname = {Theorem}{Theorems},
+        },
+        FR = {
+            name = {Théorème},
+            crefname = {\ccmarkart{le} théorème}{\ccmarkart{les} théorèmes},
+            Crefname = {Le théorème}{Les théorèmes},
+        },
+        DE = {
+            name = {Satz},
+            crefname = {Satz}{Sätze},
+            Crefname = {Satz}{Sätze},
+        },
+        IT = {
+            name = {Teorema},
+            crefname = {\ccmarkart{il} teorema}{\ccmarkart{i} teoremi},
+            Crefname = {Il teorema}{I teoremi},
+        },
+        PT = {
+            name = {Teorema},
+            crefname = {\ccmarkart{o} teorema}{\ccmarkart{os} teoremas},
+            Crefname = {O teorema}{Os teoremas},
+        },
+        BR = {
+            name = {Teorema},
+            crefname = {\ccmarkart{o} teorema}{\ccmarkart{os} teoremas},
+            Crefname = {O teorema}{Os teoremas},
+        },
+        ES = {
+            name = {Teorema},
+            crefname = {\ccmarkart{el} teorema}{los teoremas},
+            Crefname = {El teorema}{Los teoremas},
+        },
+        CN = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        TC = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        JP = {
+            name = {定理},
+            crefname = {定理}{定理},
+            Crefname = {定理}{定理},
+        },
+        RU = {
+            name = {Теорема},
+            crefname = {теорема}{теоремы},
+            Crefname = {Теорема}{Теоремы},
+        },
+    }
+    \NameTheorem{lemma}{
+        EN = {
+            name = {Lemma},
+            crefname = {lemma}{Lemmas},
+            Crefname = {Lemma}{Lemmas},
+        },
+        FR = {
+            name = {Lemme},
+            crefname = {\ccmarkart{le} lemme}{\ccmarkart{les} lemmes},
+            Crefname = {Le lemme}{Les lemmes},
+        },
+        DE = {
+            name = {Lemma},
+            crefname = {Lemma}{Lemmata},
+            Crefname = {Lemma}{Lemmata},
+        },
+        IT = {
+            name = {Lemma},
+            crefname = {\ccmarkart{il} lemma}{\ccmarkart{i} lemmi},
+            Crefname = {Il lemma}{I lemmi},
+        },
+        PT = {
+            name = {Lema},
+            crefname = {\ccmarkart{o} lema}{\ccmarkart{os} lemas},
+            Crefname = {O lema}{Os lemas},
+        },
+        BR = {
+            name = {Lema},
+            crefname = {\ccmarkart{o} lema}{\ccmarkart{os} lemas},
+            Crefname = {O lema}{Os lemas},
+        },
+        ES = {
+            name = {Lema},
+            crefname = {\ccmarkart{el} lema}{las lemas},
+            Crefname = {El lema}{Las lemas},
+        },
+        CN = {
+            name = {引理},
+            crefname = {引理}{引理},
+            Crefname = {引理}{引理},
+        },
+        TC = {
+            name = {引理},
+            crefname = {引理}{引理},
+            Crefname = {引理}{引理},
+        },
+        JP = {
+            name = {補題},
+            crefname = {補題}{補題},
+            Crefname = {補題}{補題},
+        },
+        RU = {
+            name = {Лемма},
+            crefname = {лемма}{леммы},
+            Crefname = {Лемма}{Леммы},
+        },
+    }
+    \NameTheorem{proposition}{
+        EN = {
+            name = {Proposition},
+            crefname = {proposition}{propositions},
+            Crefname = {Proposition}{Propositions},
+        },
+        FR = {
+            name = {Proposition},
+            crefname = {\ccmarkart{la} proposition}{\ccmarkart{les} propositions},
+            Crefname = {La proposition}{Les propositions},
+        },
+        DE = {
+            name = {Proposition},
+            crefname = {Proposition}{Propositionen},
+            Crefname = {Proposition}{Propositionen},
+        },
+        IT = {
+            name = {Proposizione},
+            crefname = {\ccmarkart{la} proposizione}{\ccmarkart{le} proposte},
+            Crefname = {La proposizione}{Le proposte},
+        },
+        PT = {
+            name = {Proposição},
+            crefname = {\ccmarkart{a} proposição}{\ccmarkart{as} proposições},
+            Crefname = {A proposição}{As proposições},
+        },
+        BR = {
+            name = {Proposição},
+            crefname = {\ccmarkart{a} proposição}{\ccmarkart{as} proposições},
+            Crefname = {A proposição}{As proposições},
+        },
+        ES = {
+            name = {Proposición},
+            crefname = {la proposición}{las proposiciones},
+            Crefname = {La proposición}{Las proposiciones},
+        },
+        CN = {
+            name = {命题},
+            crefname = {命题}{命题},
+            Crefname = {命题}{命题},
+        },
+        TC = {
+            name = {命題},
+            crefname = {命題}{命題},
+            Crefname = {命題}{命題},
+        },
+        JP = {
+            name = {命題},
+            crefname = {命題}{命題},
+            Crefname = {命題}{命題},
+        },
+        RU = {
+            name = {Предложение},
+            crefname = {предложение}{предложения},
+            Crefname = {Предложение}{Предложения},
+        },
+    }
+    \NameTheorem{corollary}{
+        EN = {
+            name = {Corollary},
+            crefname = {corollary}{corollaries},
+            Crefname = {Corollary}{Corollaries},
+        },
+        FR = {
+            name = {Corollaire},
+            crefname = {\ccmarkart{le} corollaire}{\ccmarkart{les} corollaires},
+            Crefname = {Le corollaire}{Les corollaires},
+        },
+        DE = {
+            name = {Korollar},
+            crefname = {Korollar}{Korollare},
+            Crefname = {Korollar}{Korollare},
+        },
+        IT = {
+            name = {Corollario},
+            crefname = {\ccmarkart{il} corollario}{\ccmarkart{i} corollari},
+            Crefname = {Il corollario}{I corollari},
+        },
+        PT = {
+            name = {Corolário},
+            crefname = {\ccmarkart{o} corolário}{\ccmarkart{os} corolários},
+            Crefname = {O corolário}{Os corolários},
+        },
+        BR = {
+            name = {Corolário},
+            crefname = {\ccmarkart{o} corolário}{\ccmarkart{os} corolários},
+            Crefname = {O corolário}{Os corolários},
+        },
+        ES = {
+            name = {Corolario},
+            crefname = {\ccmarkart{el} corolario}{los corolarios},
+            Crefname = {El corolario}{Los corolarios},
+        },
+        CN = {
+            name = {推论},
+            crefname = {推论}{推论},
+            Crefname = {推论}{推论},
+        },
+        TC = {
+            name = {推論},
+            crefname = {推論}{推論},
+            Crefname = {推論}{推論},
+        },
+        JP = {
+            name = {系},
+            crefname = {系}{系},
+            Crefname = {系}{系},
+        },
+        RU = {
+            name = {Следствие},
+            crefname = {следствие}{следствия},
+            Crefname = {Следствие}{Следствия},
+        },
+    }
+    \NameTheorem{property}{
+        EN = {
+            name = {Property},
+            crefname = {property}{properties},
+            Crefname = {Property}{Properties},
+        },
+        FR = {
+            name = {Propriété},
+            crefname = {\ccmarkart{la} propriété}{\ccmarkart{les} propriétés},
+            Crefname = {La propriété}{Les propriétés},
+        },
+        DE = {
+            name = {Eigenschaft},
+            crefname = {Eigenschaft}{Eigenschaften},
+            Crefname = {Eigenschaft}{Eigenschaften},
+        },
+        IT = {
+            name = {Proprietà},
+            crefname = {\ccmarkart{la} proprietà}{\ccmarkart{le} proprietà},
+            Crefname = {La proprietà}{Le proprietà},
+        },
+        PT = {
+            name = {Propriedade},
+            crefname = {\ccmarkart{a} propriedade}{\ccmarkart{as} propriedades},
+            Crefname = {A propriedade}{As propriedades},
+        },
+        BR = {
+            name = {Propriedade},
+            crefname = {\ccmarkart{a} propriedade}{\ccmarkart{as} propriedades},
+            Crefname = {A propriedade}{As propriedades},
+        },
+        ES = {
+            name = {Propiedad},
+            crefname = {la propiedad}{las propiedades},
+            Crefname = {La propiedad}{Las propiedades},
+        },
+        CN = {
+            name = {性质},
+            crefname = {性质}{性质},
+            Crefname = {性质}{性质},
+        },
+        TC = {
+            name = {性質},
+            crefname = {性質}{性質},
+            Crefname = {性質}{性質},
+        },
+        JP = {
+            name = {性質},
+            crefname = {性質}{性質},
+            Crefname = {性質}{性質},
+        },
+        RU = {
+            name = {Имущество},
+            crefname = {имущество}{имущества},
+            Crefname = {Имущество}{Имущества},
+        },
+    }
+    \NameTheorem{fact}{
+        EN = {
+            name = {Fact},
+            crefname = {fact}{facts},
+            Crefname = {Fact}{Facts},
+        },
+        FR = {
+            name = {Fait},
+            crefname = {\ccmarkart{le} fait}{\ccmarkart{les} faits},
+            Crefname = {Le fait}{Les faits},
+        },
+        DE = {
+            name = {Fakt},
+            crefname = {Fakt}{Fakten},
+            Crefname = {Fakt}{Fakten},
+        },
+        IT = {
+            name = {Fatto},
+            crefname = {\ccmarkart{il} fatto}{\ccmarkart{i} fatti},
+            Crefname = {Il fatto}{I fatti},
+        },
+        PT = {
+            name = {Facto},
+            crefname = {\ccmarkart{o} facto}{\ccmarkart{os} factos},
+            Crefname = {O facto}{Os factos},
+        },
+        BR = {
+            name = {Fato},
+            crefname = {\ccmarkart{o} fato}{\ccmarkart{os} fatos},
+            Crefname = {O fato}{Os fatos},
+        },
+        ES = {
+            name = {Hecho},
+            crefname = {\ccmarkart{el} hecho}{los hechos},
+            Crefname = {El hecho}{Los hechos},
+        },
+        CN = {
+            name = {事实},
+            crefname = {事实}{事实},
+            Crefname = {事实}{事实},
+        },
+        TC = {
+            name = {事實},
+            crefname = {事實}{事實},
+            Crefname = {事實}{事實},
+        },
+        JP = {
+            name = {事実},
+            crefname = {事実}{事実},
+            Crefname = {事実}{事実},
+        },
+        RU = {
+            name = {Факт},
+            crefname = {факт}{факты},
+            Crefname = {Факт}{Факты},
+        },
+    }
+    \NameTheorem{conjecture}{
+        EN = {
+            name = {Conjecture},
+            crefname = {conjecture}{conjectures},
+            Crefname = {Conjecture}{Conjectures},
+        },
+        FR = {
+            name = {Conjecture},
+            crefname = {\ccmarkart{la} conjecture}{\ccmarkart{les} conjectures},
+            Crefname = {La conjecture}{Les conjectures},
+        },
+        DE = {
+            name = {Vermutung},
+            crefname = {Vermutung}{Vermutungen},
+            Crefname = {Vermutung}{Vermutungen},
+        },
+        IT = {
+            name = {Congettura},
+            crefname = {\ccmarkart{la} congettura}{\ccmarkart{le} congetture},
+            Crefname = {La congettura}{Le congetture},
+        },
+        PT = {
+            name = {Conjetura},
+            crefname = {\ccmarkart{a} conjetura}{\ccmarkart{as} conjeturas},
+            Crefname = {A conjetura}{As conjeturas},
+        },
+        BR = {
+            name = {Conjectura},
+            crefname = {\ccmarkart{a} conjectura}{\ccmarkart{as} conjecturas},
+            Crefname = {A conjectura}{As conjecturas},
+        },
+        ES = {
+            name = {Conjetura},
+            crefname = {la conjetura}{las conjeturas},
+            Crefname = {La conjetura}{Las conjeturas},
+        },
+        CN = {
+            name = {猜想},
+            crefname = {猜想}{猜想},
+            Crefname = {猜想}{猜想},
+        },
+        TC = {
+            name = {猜想},
+            crefname = {猜想}{猜想},
+            Crefname = {猜想}{猜想},
+        },
+        JP = {
+            name = {予想},
+            crefname = {予想}{予想},
+            Crefname = {予想}{予想},
+        },
+        RU = {
+            name = {Гипотеза},
+            crefname = {гипотеза}{гипотезы},
+            Crefname = {Гипотеза}{Гипотезы},
+        },
+    }
+    \NameTheorem{definition}{
+        EN = {
+            name = {Definition},
+            crefname = {definition}{definitions},
+            Crefname = {Definition}{Definitions},
+        },
+        FR = {
+            name = {Définition},
+            crefname = {\ccmarkart{la} définition}{\ccmarkart{les} définitions},
+            Crefname = {La définition}{Les définitions},
+        },
+        DE = {
+            name = {Definition},
+            crefname = {Definition}{Definitionen},
+            Crefname = {Definition}{Definitionen},
+        },
+        IT = {
+            name = {Definizione},
+            crefname = {\ccmarkart{la} definizione}{\ccmarkart{le} definizioni},
+            Crefname = {La definizione}{Le definizioni},
+        },
+        PT = {
+            name = {Definição},
+            crefname = {\ccmarkart{a} definição}{\ccmarkart{as} definições},
+            Crefname = {A definição}{As definições},
+        },
+        BR = {
+            name = {Definição},
+            crefname = {\ccmarkart{a} definição}{\ccmarkart{as} definições},
+            Crefname = {A definição}{As definições},
+        },
+        ES = {
+            name = {Definición},
+            crefname = {la definición}{las definiciones},
+            Crefname = {La definición}{Las definiciones},
+        },
+        CN = {
+            name = {定义},
+            crefname = {定义}{定义},
+            Crefname = {定义}{定义},
+        },
+        TC = {
+            name = {定義},
+            crefname = {定義}{定義},
+            Crefname = {定義}{定義},
+        },
+        JP = {
+            name = {定義},
+            crefname = {定義}{定義},
+            Crefname = {定義}{定義},
+        },
+        RU = {
+            name = {Определение},
+            crefname = {определение}{определения},
+            Crefname = {Определение}{Определения},
+        },
+    }
+    \NameTheorem{axiom}{
+        EN = {
+            name = {Axiom},
+            crefname = {axiom}{axioms},
+            Crefname = {Axiom}{Axioms},
+        },
+        FR = {
+            name = {Axiome},
+            crefname = {\ccmarkart{l'}axiome}{\ccmarkart{les} axiomes},
+            Crefname = {L'axiome}{Les axiomes},
+        },
+        DE = {
+            name = {Axiom},
+            crefname = {Axiom}{Axiome},
+            Crefname = {Axiom}{Axiome},
+        },
+        IT = {
+            name = {Assioma},
+            crefname = {\ccmarkart{l'}assioma}{\ccmarkart{gli} assiomi},
+            Crefname = {L'assioma}{Gli assiomi},
+        },
+        PT = {
+            name = {Axioma},
+            crefname = {\ccmarkart{o} axioma}{\ccmarkart{os} axiomas},
+            Crefname = {O axioma}{Os axiomas},
+        },
+        BR = {
+            name = {Axioma},
+            crefname = {\ccmarkart{o} axioma}{\ccmarkart{os} axiomas},
+            Crefname = {O axioma}{Os axiomas},
+        },
+        ES = {
+            name = {Axioma},
+            crefname = {\ccmarkart{el} axioma}{los axiomas},
+            Crefname = {El axioma}{Los axiomas},
+        },
+        CN = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        TC = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        JP = {
+            name = {公理},
+            crefname = {公理}{公理},
+            Crefname = {公理}{公理},
+        },
+        RU = {
+            name = {Аксиома},
+            crefname = {аксиома}{аксиомы},
+            Crefname = {Аксиома}{Аксиомы},
+        },
+    }
+    \NameTheorem{assumption}{
+        EN = {
+            name = {Assumption},
+            crefname = {assumption}{assumptions},
+            Crefname = {Assumption}{Assumptions},
+        },
+        FR = {
+            name = {Supposition},
+            crefname = {\ccmarkart{la} supposition}{\ccmarkart{les} suppositions},
+            Crefname = {La supposition}{Les suppositions},
+        },
+        DE = {
+            name = {Annahme},
+            crefname = {Annahme}{Annahmen},
+            Crefname = {Annahme}{Annahmen},
+        },
+        IT = {
+            name = {Supposizione},
+            crefname = {\ccmarkart{la} supposizione}{\ccmarkart{le} supposizioni},
+            Crefname = {La supposizione}{Le supposizioni},
+        },
+        PT = {
+            name = {Suposição},
+            crefname = {\ccmarkart{a} suposição}{\ccmarkart{as} suposições},
+            Crefname = {A suposição}{As suposições},
+        },
+        BR = {
+            name = {Suposição},
+            crefname = {\ccmarkart{a} suposição}{\ccmarkart{as} suposições},
+            Crefname = {A suposição}{As suposições},
+        },
+        ES = {
+            name = {Suposición},
+            crefname = {la suposición}{las suposiciones},
+            Crefname = {La suposición}{Las suposiciones},
+        },
+        CN = {
+            name = {假定},
+            crefname = {假定}{假定},
+            Crefname = {假定}{假定},
+        },
+        TC = {
+            name = {假定},
+            crefname = {假定}{假定},
+            Crefname = {假定}{假定},
+        },
+        JP = {
+            name = {仮定},
+            crefname = {仮定}{仮定},
+            Crefname = {仮定}{仮定},
+        },
+        RU = {
+            name = {Предположение},
+            crefname = {предположение}{предположения},
+            Crefname = {Предположение}{Предположения},
+        },
+    }
+    \NameTheorem{convention}{
+        EN = {
+            name = {Convention},
+            crefname = {convention}{conventions},
+            Crefname = {Convention}{Conventions},
+        },
+        FR = {
+            name = {Convention},
+            crefname = {\ccmarkart{la} convention}{\ccmarkart{les} conventions},
+            Crefname = {La convention}{Les conventions},
+        },
+        DE = {
+            name = {Konvention},
+            crefname = {Konvention}{Konventionen},
+            Crefname = {Konvention}{Konventionen},
+        },
+        IT = {
+            name = {Convenzione},
+            crefname = {\ccmarkart{la} convenzione}{\ccmarkart{le} convenzioni},
+            Crefname = {La convenzione}{Le convenzioni},
+        },
+        PT = {
+            name = {Convenção},
+            crefname = {\ccmarkart{a} convenção}{\ccmarkart{as} convenções},
+            Crefname = {A convenção}{As convenções},
+        },
+        BR = {
+            name = {Convenção},
+            crefname = {\ccmarkart{a} convenção}{\ccmarkart{as} convenções},
+            Crefname = {A convenção}{As convenções},
+        },
+        ES = {
+            name = {Convención},
+            crefname = {la convención}{las convenciones},
+            Crefname = {La convención}{Las convenciones},
+        },
+        CN = {
+            name = {约定},
+            crefname = {约定}{约定},
+            Crefname = {约定}{约定},
+        },
+        TC = {
+            name = {約定},
+            crefname = {約定}{約定},
+            Crefname = {約定}{約定},
+        },
+        JP = {
+            name = {慣例},
+            crefname = {慣例}{慣例},
+            Crefname = {慣例}{慣例},
+        },
+        RU = {
+            name = {Конвенция},
+            crefname = {конвенция}{конвенции},
+            Crefname = {Конвенция}{Конвенции},
+        },
+    }
+    \NameTheorem{hypothesis}{
+        EN = {
+            name = {Hypothesis},
+            crefname = {hypothesis}{hypotheses},
+            Crefname = {Hypothesis}{Hypotheses},
+        },
+        FR = {
+            name = {Hypothèse},
+            crefname = {\ccmarkart{l'}hypothèse}{\ccmarkart{les} hypothèses},
+            Crefname = {L'hypothèse}{Les hypothèses},
+        },
+        DE = {
+            name = {Hypothese},
+            crefname = {Hypothese}{Hypothesen},
+            Crefname = {Hypothese}{Hypothesen},
+        },
+        IT = {
+            name = {Ipotesi},
+            crefname = {\ccmarkart{l'}ipotesi}{\ccmarkart{le} ipotesi},
+            Crefname = {L'ipotesi}{Le ipotesi},
+        },
+        PT = {
+            name = {Hipótese},
+            crefname = {\ccmarkart{a} hipótese}{\ccmarkart{as} hipóteses},
+            Crefname = {A hipótese}{As hipóteses},
+        },
+        BR = {
+            name = {Hipótese},
+            crefname = {\ccmarkart{a} hipótese}{\ccmarkart{as} hipóteses},
+            Crefname = {A hipótese}{As hipóteses},
+        },
+        ES = {
+            name = {Hipótesis},
+            crefname = {la hipótesis}{las hipótesis},
+            Crefname = {La hipótesis}{Las hipótesis},
+        },
+        CN = {
+            name = {假设},
+            crefname = {假设}{假设},
+            Crefname = {假设}{假设},
+        },
+        TC = {
+            name = {假設},
+            crefname = {假設}{假設},
+            Crefname = {假設}{假設},
+        },
+        JP = {
+            name = {仮設},
+            crefname = {仮設}{仮設},
+            Crefname = {仮設}{仮設},
+        },
+        RU = {
+            name = {Гипотеза},
+            crefname = {гипотеза}{гипотезы},
+            Crefname = {Гипотеза}{Гипотезы},
+        },
+    }
+    \NameTheorem{notation}{
+        EN = {
+            name = {Notation},
+            crefname = {notation}{notations},
+            Crefname = {Notation}{Notations},
+        },
+        FR = {
+            name = {Notation},
+            crefname = {\ccmarkart{la} notation}{\ccmarkart{les} notations},
+            Crefname = {La notation}{Les notations},
+        },
+        DE = {
+            name = {Notation},
+            crefname = {Notation}{Notationen},
+            Crefname = {Notation}{Notationen},
+        },
+        IT = {
+            name = {Notazione},
+            crefname = {\ccmarkart{la} notazione}{\ccmarkart{le} notazioni},
+            Crefname = {La notazione}{Le notazioni},
+        },
+        PT = {
+            name = {Notação},
+            crefname = {\ccmarkart{a} notação}{\ccmarkart{as} notações},
+            Crefname = {A notação}{As notações},
+        },
+        BR = {
+            name = {Notação},
+            crefname = {\ccmarkart{a} notação}{\ccmarkart{as} notações},
+            Crefname = {A notação}{As notações},
+        },
+        ES = {
+            name = {Notación},
+            crefname = {la notación}{las notaciones},
+            Crefname = {La notación}{Las notaciones},
+        },
+        CN = {
+            name = {记号},
+            crefname = {记号}{记号},
+            Crefname = {记号}{记号},
+        },
+        TC = {
+            name = {記號},
+            crefname = {記號}{記號},
+            Crefname = {記號}{記號},
+        },
+        JP = {
+            name = {記法},
+            crefname = {記法}{記法},
+            Crefname = {記法}{記法},
+        },
+        RU = {
+            name = {Нотация},
+            crefname = {нотация}{нотации},
+            Crefname = {Нотация}{Нотации},
+        },
+    }
+    \NameTheorem{example}{
+        EN = {
+            name = {Example},
+            crefname = {example}{examples},
+            Crefname = {Example}{Examples},
+        },
+        FR = {
+            name = {Exemple},
+            crefname = {\ccmarkart{l'}example}{\ccmarkart{les} examples},
+            Crefname = {L'example}{Les examples},
+        },
+        DE = {
+            name = {Beispiel},
+            crefname = {Beispiel}{Beispiele},
+            Crefname = {Beispiel}{Beispiele},
+        },
+        IT = {
+            name = {Esempio},
+            crefname = {\ccmarkart{l'}esempio}{\ccmarkart{gli} esempi},
+            Crefname = {L'esempio}{Gli esempi},
+        },
+        PT = {
+            name = {Exemplo},
+            crefname = {\ccmarkart{o} exemplo}{\ccmarkart{os} exemplos},
+            Crefname = {O exemplo}{Os exemplos},
+        },
+        BR = {
+            name = {Exemplo},
+            crefname = {\ccmarkart{o} exemplo}{\ccmarkart{os} exemplos},
+            Crefname = {O exemplo}{Os exemplos},
+        },
+        ES = {
+            name = {Ejemplo},
+            crefname = {\ccmarkart{el} ejemplo}{los ejemplos},
+            Crefname = {El ejemplo}{Los ejemplos},
+        },
+        CN = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        TC = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        JP = {
+            name = {例},
+            crefname = {例}{例},
+            Crefname = {例}{例},
+        },
+        RU = {
+            name = {Пример},
+            crefname = {пример}{примеры},
+            Crefname = {Пример}{Примеры},
+        },
+    }
+    \NameTheorem{problem}{
+        EN = {
+            name = {Problem},
+            crefname = {problem}{problems},
+            Crefname = {Problem}{Problems},
+        },
+        FR = {
+            name = {Problème},
+            crefname = {\ccmarkart{le} problème}{\ccmarkart{les} problèmes},
+            Crefname = {Le problème}{Les problèmes},
+        },
+        DE = {
+            name = {Problem},
+            crefname = {Problem}{Probleme},
+            Crefname = {Problem}{Probleme},
+        },
+        IT = {
+            name = {Problema},
+            crefname = {\ccmarkart{il} problema}{\ccmarkart{i} problemi},
+            Crefname = {Il problema}{I problemi},
+        },
+        PT = {
+            name = {Problema},
+            crefname = {\ccmarkart{o} problema}{\ccmarkart{os} problemas},
+            Crefname = {O problema}{Os problemas},
+        },
+        BR = {
+            name = {Problema},
+            crefname = {\ccmarkart{o} problema}{\ccmarkart{os} problemas},
+            Crefname = {O problema}{Os problemas},
+        },
+        ES = {
+            name = {Problema},
+            crefname = {\ccmarkart{el} problema}{los problemas},
+            Crefname = {El problema}{Los problemas},
+        },
+        CN = {
+            name = {问题},
+            crefname = {问题}{问题},
+            Crefname = {问题}{问题},
+        },
+        TC = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        JP = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        RU = {
+            name = {Проблема},
+            crefname = {проблема}{проблемы},
+            Crefname = {Проблема}{Проблемы},
+        },
+    }
+    \NameTheorem{question}{
+        EN = {
+            name = {Question},
+            crefname = {question}{questions},
+            Crefname = {Question}{Questions},
+        },
+        FR = {
+            name = {Question},
+            crefname = {\ccmarkart{la} question}{\ccmarkart{les} questions},
+            Crefname = {La question}{Les questions},
+        },
+        DE = {
+            name = {Frage},
+            crefname = {Frage}{Fragen},
+            Crefname = {Frage}{Fragen},
+        },
+        IT = {
+            name = {Domanda},
+            crefname = {\ccmarkart{la} domanda}{\ccmarkart{le} domande},
+            Crefname = {La domanda}{Le domande},
+        },
+        PT = {
+            name = {Pergunta},
+            crefname = {\ccmarkart{a} pergunta}{\ccmarkart{as} perguntas},
+            Crefname = {A pergunta}{As perguntas},
+        },
+        BR = {
+            name = {Pergunta},
+            crefname = {\ccmarkart{a} pergunta}{\ccmarkart{as} perguntas},
+            Crefname = {A pergunta}{As perguntas},
+        },
+        ES = {
+            name = {Pregunta},
+            crefname = {la pregunta}{las preguntas},
+            Crefname = {La pregunta}{Las preguntas},
+        },
+        CN = {
+            name = {问题},
+            crefname = {问题}{问题},
+            Crefname = {问题}{问题},
+        },
+        TC = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        JP = {
+            name = {問題},
+            crefname = {問題}{問題},
+            Crefname = {問題}{問題},
+        },
+        RU = {
+            name = {Вопрос},
+            crefname = {вопрос}{вопросы},
+            Crefname = {Вопрос}{Вопросы},
+        },
+    }
+    \NameTheorem{exercise}{
+        EN = {
+            name = {Exercise},
+            crefname = {exercise}{exercises},
+            Crefname = {Exercise}{Exercises},
+        },
+        FR = {
+            name = {Exercice},
+            crefname = {\ccmarkart{l'}exercice}{\ccmarkart{les} exercices},
+            Crefname = {L'exercice}{Les exercices},
+        },
+        DE = {
+            name = {Übung},
+            crefname = {Übung}{Übungen},
+            Crefname = {Übung}{Übungen},
+        },
+        IT = {
+            name = {Esercizio},
+            crefname = {\ccmarkart{l'}esercizio}{\ccmarkart{gli} esercizi},
+            Crefname = {L'esercizio}{Gli esercizi},
+        },
+        PT = {
+            name = {Exercício},
+            crefname = {\ccmarkart{o} exercício}{\ccmarkart{os} exercícios},
+            Crefname = {O exercício}{Os exercícios},
+        },
+        BR = {
+            name = {Exercício},
+            crefname = {\ccmarkart{o} exercício}{\ccmarkart{os} exercícios},
+            Crefname = {O exercício}{Os exercícios},
+        },
+        ES = {
+            name = {Ejercicio},
+            crefname = {\ccmarkart{el} ejercicio}{los ejercicios},
+            Crefname = {El ejercicio}{Los ejercicios},
+        },
+        CN = {
+            name = {练习},
+            crefname = {练习}{练习},
+            Crefname = {练习}{练习},
+        },
+        TC = {
+            name = {練習},
+            crefname = {練習}{練習},
+            Crefname = {練習}{練習},
+        },
+        JP = {
+            name = {練習},
+            crefname = {練習}{練習},
+            Crefname = {練習}{練習},
+        },
+        RU = {
+            name = {Упражнение},
+            crefname = {упражнение}{упражнения},
+            Crefname = {Упражнение}{Упражнения},
+        },
+    }
+    \NameTheorem{remark}{
+        EN = {
+            name = {Remark},
+            crefname = {remark}{remarks},
+            Crefname = {Remark}{Remarks},
+        },
+        FR = {
+            name = {Remarque},
+            crefname = {\ccmarkart{la} remarque}{\ccmarkart{les} remarques},
+            Crefname = {La remarque}{Les remarques},
+        },
+        DE = {
+            name = {Bemerkung},
+            crefname = {Bemerkung}{Bemerkungen},
+            Crefname = {Bemerkung}{Bemerkungen},
+        },
+        IT = {
+            name = {Commento},
+            crefname = {\ccmarkart{il} commento}{\ccmarkart{i} commenti},
+            Crefname = {Il commento}{I commenti},
+        },
+        PT = {
+            name = {Comentário},
+            crefname = {\ccmarkart{o} comentário}{\ccmarkart{os} comentários},
+            Crefname = {O comentário}{Os comentários},
+        },
+        BR = {
+            name = {Comentário},
+            crefname = {\ccmarkart{o} comentário}{\ccmarkart{os} comentários},
+            Crefname = {O comentário}{Os comentários},
+        },
+        ES = {
+            name = {Comentario},
+            crefname = {\ccmarkart{el} comentario}{los comentarios},
+            Crefname = {El comentario}{Los comentarios},
+        },
+        CN = {
+            name = {备注},
+            crefname = {备注}{备注},
+            Crefname = {备注}{备注},
+        },
+        TC = {
+            name = {備註},
+            crefname = {備註}{備註},
+            Crefname = {備註}{備註},
+        },
+        JP = {
+            name = {注釈},
+            crefname = {注釈}{注釈},
+            Crefname = {注釈}{注釈},
+        },
+        RU = {
+            name = {Замечание},
+            crefname = {замечание}{замечания},
+            Crefname = {Замечание}{Замечания},
+        },
+    }
+    \NameTheorem{observation}{
+        EN = {
+            name = {Observation},
+            crefname = {observation}{observations},
+            Crefname = {Observation}{Observations},
+        },
+        FR = {
+            name = {Observation},
+            crefname = {\ccmarkart{la} observation}{\ccmarkart{les} observations},
+            Crefname = {La observation}{Les observations},
+        },
+        DE = {
+            name = {Beobachtung},
+            crefname = {Beobachtung}{Beobachtungen},
+            Crefname = {Beobachtung}{Beobachtungen},
+        },
+        IT = {
+            name = {Osservazione},
+            crefname = {\ccmarkart{l'}osservazione}{\ccmarkart{le} osservazioni},
+            Crefname = {L'osservazione}{Le osservazioni},
+        },
+        PT = {
+            name = {Observação},
+            crefname = {\ccmarkart{a} observação}{\ccmarkart{as} observações},
+            Crefname = {A observação}{As observações},
+        },
+        BR = {
+            name = {Observação},
+            crefname = {\ccmarkart{a} observação}{\ccmarkart{as} observações},
+            Crefname = {A observação}{As observações},
+        },
+        ES = {
+            name = {Observación},
+            crefname = {la observación}{las observaciones},
+            Crefname = {La observación}{Las observaciones},
+        },
+        CN = {
+            name = {观察},
+            crefname = {观察}{观察},
+            Crefname = {观察}{观察},
+        },
+        TC = {
+            name = {觀察},
+            crefname = {觀察}{觀察},
+            Crefname = {觀察}{觀察},
+        },
+        JP = {
+            name = {観察},
+            crefname = {観察}{観察},
+            Crefname = {観察}{観察},
+        },
+        RU = {
+            name = {Наблюдение},
+            crefname = {наблюдение}{наблюдения},
+            Crefname = {Наблюдение}{Наблюдения},
+        },
+    }
+    \NameTheorem{definition-proposition}{
+        EN = {
+            name = {\definitionnameEN-\propositionnameEN},
+            crefname = {definition-proposition}{definitions-propositions},
+            Crefname = {Definition-proposition}{Definitions-propositions},
+        },
+        FR = {
+            name = {\definitionnameFR-\propositionnameFR},
+            crefname = {\ccmarkart{la} définition-proposition}{\ccmarkart{les} définitions-propositions},
+            Crefname = {La définition-proposition}{Les définitions-propositions},
+        },
+        DE = {
+            name = {\definitionnameDE-\propositionnameDE},
+            crefname = {Definition-Proposition}{Definitionen-Propositionen},
+            Crefname = {Definition-Proposition}{Definitionen-Propositionen},
+        },
+        IT = {
+            name = {\definitionnameIT-\propositionnameIT},
+            crefname = {\ccmarkart{la} definizione-proposizione}{\ccmarkart{le} definizioni-proposte},
+            Crefname = {La definizione-proposizione}{Le definizioni-proposte},
+        },
+        PT = {
+            name = {\definitionnamePT-\propositionnamePT},
+            crefname = {\ccmarkart{a} definição-proposição}{\ccmarkart{as} definições-proposições},
+            Crefname = {A definição-proposição}{As definições-proposições},
+        },
+        BR = {
+            name = {\definitionnameBR-\propositionnameBR},
+            crefname = {\ccmarkart{a} definição-proposição}{\ccmarkart{as} definições-proposições},
+            Crefname = {A definição-proposição}{As definições-proposições},
+        },
+        ES = {
+            name = {\definitionnameES-\propositionnameES},
+            crefname = {la definición-proposición}{las definiciones-proposiciones},
+            Crefname = {La definición-proposición}{Las definiciones-proposiciones},
+        },
+        CN = {
+            name = {\definitionnameCN-\propositionnameCN},
+            crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+            Crefname = {\definitionnameCN-\propositionnameCN}{\definitionnameCN-\propositionnameCN},
+        },
+        TC = {
+            name = {\definitionnameTC-\propositionnameTC},
+            crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+            Crefname = {\definitionnameTC-\propositionnameTC}{\definitionnameTC-\propositionnameTC},
+        },
+        JP = {
+            name = {\definitionnameJP-\propositionnameJP},
+            crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+            Crefname = {\definitionnameJP-\propositionnameJP}{\definitionnameJP-\propositionnameJP},
+        },
+        RU = {
+            name = {\definitionnameRU-\propositionnameRU},
+            crefname = {определение-предложение}{определения-предложения},
+            Crefname = {Определение-предложение}{Определения-предложение},
+        },
+    }
+    \NameTheorem{definition-theorem}{
+        EN = {
+            name = {\definitionnameEN-\theoremnameEN},
+            crefname = {definition-theorem}{definitions-theorems},
+            Crefname = {Definition-theorem}{Definitions-theorems},
+        },
+        FR = {
+            name = {\definitionnameFR-\theoremnameFR},
+            crefname = {\ccmarkart{la} définition-théorème}{\ccmarkart{les} définitions-théorèmes},
+            Crefname = {La définition-théorème}{Les définitions-théorèmes},
+        },
+        DE = {
+            name = {\definitionnameDE-\theoremnameDE},
+            crefname = {Definition-Satz}{Definitionen-Sätze},
+            Crefname = {Definition-Satz}{Definitionen-Sätze},
+        },
+        IT = {
+            name = {\definitionnameIT-\theoremnameIT},
+            crefname = {\ccmarkart{la} definizione-teorema}{\ccmarkart{le} definizioni-teoremi},
+            Crefname = {La definizione-teorema}{Le definizioni-teoremi},
+        },
+        PT = {
+            name = {\definitionnamePT-\theoremnamePT},
+            crefname = {\ccmarkart{a} definição-teorema}{\ccmarkart{as} definições-teoremas},
+            Crefname = {A definição-teorema}{As definições-teoremas},
+        },
+        BR = {
+            name = {\definitionnameBR-\theoremnameBR},
+            crefname = {\ccmarkart{a} definição-teorema}{\ccmarkart{as} definições-teoremas},
+            Crefname = {A definição-teorema}{As definições-teoremas},
+        },
+        ES = {
+            name = {\definitionnameES-\theoremnameES},
+            crefname = {la definición-teorema}{las definiciones-teoremas},
+            Crefname = {La definición-teorema}{Las definiciones-teoremas},
+        },
+        CN = {
+            name = {\definitionnameCN-\theoremnameCN},
+            crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+            Crefname = {\definitionnameCN-\theoremnameCN}{\definitionnameCN-\theoremnameCN},
+        },
+        TC = {
+            name = {\definitionnameTC-\theoremnameTC},
+            crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+            Crefname = {\definitionnameTC-\theoremnameTC}{\definitionnameTC-\theoremnameTC},
+        },
+        JP = {
+            name = {\definitionnameJP-\theoremnameJP},
+            crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+            Crefname = {\definitionnameJP-\theoremnameJP}{\definitionnameJP-\theoremnameJP},
+        },
+        RU = {
+            name = {\definitionnameRU-\theoremnameRU},
+            crefname = {определение-теорема}{определения-теоремы},
+            Crefname = {Определение-теорема}{Определения-теорема},
+        },
+    }
+}{
 %# 英文定理名称
 %# English theorems names
-\def\theoremnameEN{{Theorem}}
-\def\lemmanameEN{{Lemma}}
-\def\propositionnameEN{{Proposition}}
-\def\corollarynameEN{{Corollary}}
-\def\propertynameEN{{Property}}
-\def\factnameEN{{Fact}}
-\def\conjecturenameEN{{Conjecture}}
-\def\definitionnameEN{{Definition}}
-\def\axiomnameEN{{Axiom}}
-\def\assumptionnameEN{{Assumption}}
-\def\conventionnameEN{{Convention}}
-\def\hypothesisnameEN{{Hypothesis}}
-\def\notationnameEN{{Notation}}
-\def\examplenameEN{{Example}}
-\def\problemnameEN{{Problem}}
-\def\questionnameEN{{Question}}
-\def\exercisenameEN{{Exercise}}
-\def\remarknameEN{{Remark}}
-\def\observationnameEN{{Observation}}
-\expandafter\def\csname definition-propositionnameEN\endcsname{\definitionnameEN-\propositionnameEN}
-\expandafter\def\csname definition-theoremnameEN\endcsname{\definitionnameEN-\theoremnameEN}
+    \def\theoremnameEN{{Theorem}}
+    \def\lemmanameEN{{Lemma}}
+    \def\propositionnameEN{{Proposition}}
+    \def\corollarynameEN{{Corollary}}
+    \def\propertynameEN{{Property}}
+    \def\factnameEN{{Fact}}
+    \def\conjecturenameEN{{Conjecture}}
+    \def\definitionnameEN{{Definition}}
+    \def\axiomnameEN{{Axiom}}
+    \def\assumptionnameEN{{Assumption}}
+    \def\conventionnameEN{{Convention}}
+    \def\hypothesisnameEN{{Hypothesis}}
+    \def\notationnameEN{{Notation}}
+    \def\examplenameEN{{Example}}
+    \def\problemnameEN{{Problem}}
+    \def\questionnameEN{{Question}}
+    \def\exercisenameEN{{Exercise}}
+    \def\remarknameEN{{Remark}}
+    \def\observationnameEN{{Observation}}
+    \expandafter\def\csname definition-propositionnameEN\endcsname{\definitionnameEN-\propositionnameEN}
+    \expandafter\def\csname definition-theoremnameEN\endcsname{\definitionnameEN-\theoremnameEN}
 
 %# 法语定理名称
 %# French theorems names
-\def\theoremnameFR{{Théorème}}
-\def\lemmanameFR{{Lemme}}
-\def\propositionnameFR{{Proposition}}
-\def\corollarynameFR{{Corollaire}}
-\def\propertynameFR{{Propriété}}
-\def\factnameFR{{Fait}}
-\def\conjecturenameFR{{Conjecture}}
-\def\definitionnameFR{{Définition}}
-\def\axiomnameFR{{Axiome}}
-\def\assumptionnameFR{{Supposition}}
-\def\conventionnameFR{{Convention}}
-\def\hypothesisnameFR{{Hypothèse}}
-\def\notationnameFR{{Notation}}
-\def\examplenameFR{{Exemple}}
-\def\problemnameFR{{Problème}}
-\def\questionnameFR{{Question}}
-\def\exercisenameFR{{Exercice}}
-\def\remarknameFR{{Remarque}}
-\def\observationnameFR{{Observation}}
-\expandafter\def\csname definition-propositionnameFR\endcsname{\definitionnameFR-\propositionnameFR}
-\expandafter\def\csname definition-theoremnameFR\endcsname{\definitionnameFR-\theoremnameFR}
+    \def\theoremnameFR{{Théorème}}
+    \def\lemmanameFR{{Lemme}}
+    \def\propositionnameFR{{Proposition}}
+    \def\corollarynameFR{{Corollaire}}
+    \def\propertynameFR{{Propriété}}
+    \def\factnameFR{{Fait}}
+    \def\conjecturenameFR{{Conjecture}}
+    \def\definitionnameFR{{Définition}}
+    \def\axiomnameFR{{Axiome}}
+    \def\assumptionnameFR{{Supposition}}
+    \def\conventionnameFR{{Convention}}
+    \def\hypothesisnameFR{{Hypothèse}}
+    \def\notationnameFR{{Notation}}
+    \def\examplenameFR{{Exemple}}
+    \def\problemnameFR{{Problème}}
+    \def\questionnameFR{{Question}}
+    \def\exercisenameFR{{Exercice}}
+    \def\remarknameFR{{Remarque}}
+    \def\observationnameFR{{Observation}}
+    \expandafter\def\csname definition-propositionnameFR\endcsname{\definitionnameFR-\propositionnameFR}
+    \expandafter\def\csname definition-theoremnameFR\endcsname{\definitionnameFR-\theoremnameFR}
 
 %# 德语定理名称
 %# German theorems names
-\def\theoremnameDE{{Satz}}
-\def\lemmanameDE{{Lemma}}
-\def\propositionnameDE{{Proposition}}
-\def\corollarynameDE{{Korollar}}
-\def\propertynameDE{{Eigenschaft}}
-\def\factnameDE{{Fakt}}
-\def\conjecturenameDE{{Vermutung}}
-\def\definitionnameDE{{Definition}}
-\def\axiomnameDE{{Axiom}}
-\def\assumptionnameDE{{Annahme}}
-\def\conventionnameDE{{Konvention}}
-\def\hypothesisnameDE{{Hypothese}}
-\def\notationnameDE{{Notation}}
-\def\examplenameDE{{Beispiel}}
-\def\problemnameDE{{Problem}}
-\def\questionnameDE{{Frage}}
-\def\exercisenameDE{{Übung}}
-\def\remarknameDE{{Bemerkung}}
-\def\observationnameDE{{Beobachtung}}
-\expandafter\def\csname definition-propositionnameDE\endcsname{\definitionnameDE-\propositionnameDE}
-\expandafter\def\csname definition-theoremnameDE\endcsname{\definitionnameDE-\theoremnameDE}
+    \def\theoremnameDE{{Satz}}
+    \def\lemmanameDE{{Lemma}}
+    \def\propositionnameDE{{Proposition}}
+    \def\corollarynameDE{{Korollar}}
+    \def\propertynameDE{{Eigenschaft}}
+    \def\factnameDE{{Fakt}}
+    \def\conjecturenameDE{{Vermutung}}
+    \def\definitionnameDE{{Definition}}
+    \def\axiomnameDE{{Axiom}}
+    \def\assumptionnameDE{{Annahme}}
+    \def\conventionnameDE{{Konvention}}
+    \def\hypothesisnameDE{{Hypothese}}
+    \def\notationnameDE{{Notation}}
+    \def\examplenameDE{{Beispiel}}
+    \def\problemnameDE{{Problem}}
+    \def\questionnameDE{{Frage}}
+    \def\exercisenameDE{{Übung}}
+    \def\remarknameDE{{Bemerkung}}
+    \def\observationnameDE{{Beobachtung}}
+    \expandafter\def\csname definition-propositionnameDE\endcsname{\definitionnameDE-\propositionnameDE}
+    \expandafter\def\csname definition-theoremnameDE\endcsname{\definitionnameDE-\theoremnameDE}
 
 %# 意大利语定理名称
 %# Italian theorems names
-\def\theoremnameIT{{Teorema}}
-\def\lemmanameIT{{Lemma}}
-\def\propositionnameIT{{Proposizione}}
-\def\corollarynameIT{{Corollario}}
-\def\propertynameIT{{Proprietà}}
-\def\factnameIT{{Fatto}}
-\def\conjecturenameIT{{Congettura}}
-\def\definitionnameIT{{Definizione}}
-\def\axiomnameIT{{Assioma}}
-\def\assumptionnameIT{{Supposizione}}
-\def\conventionnameIT{{Convenzione}}
-\def\hypothesisnameIT{{Ipotesi}}
-\def\notationnameIT{{Notazione}}
-\def\examplenameIT{{Esempio}}
-\def\problemnameIT{{Problema}}
-\def\questionnameIT{{Domanda}}
-\def\exercisenameIT{{Esercizio}}
-\def\remarknameIT{{Nota}}
-\def\observationnameIT{{Osservazione}}
-\expandafter\def\csname definition-propositionnameIT\endcsname{\definitionnameIT-\propositionnameIT}
-\expandafter\def\csname definition-theoremnameIT\endcsname{\definitionnameIT-\theoremnameIT}
+    \def\theoremnameIT{{Teorema}}
+    \def\lemmanameIT{{Lemma}}
+    \def\propositionnameIT{{Proposizione}}
+    \def\corollarynameIT{{Corollario}}
+    \def\propertynameIT{{Proprietà}}
+    \def\factnameIT{{Fatto}}
+    \def\conjecturenameIT{{Congettura}}
+    \def\definitionnameIT{{Definizione}}
+    \def\axiomnameIT{{Assioma}}
+    \def\assumptionnameIT{{Supposizione}}
+    \def\conventionnameIT{{Convenzione}}
+    \def\hypothesisnameIT{{Ipotesi}}
+    \def\notationnameIT{{Notazione}}
+    \def\examplenameIT{{Esempio}}
+    \def\problemnameIT{{Problema}}
+    \def\questionnameIT{{Domanda}}
+    \def\exercisenameIT{{Esercizio}}
+    \def\remarknameIT{{Commento}}
+    \def\observationnameIT{{Osservazione}}
+    \expandafter\def\csname definition-propositionnameIT\endcsname{\definitionnameIT-\propositionnameIT}
+    \expandafter\def\csname definition-theoremnameIT\endcsname{\definitionnameIT-\theoremnameIT}
 
 %# 葡萄牙语定理名称
 %# Portuguese theorems names
-\def\theoremnamePT{{Teorema}}
-\def\lemmanamePT{{Lema}}
-\def\propositionnamePT{{Proposição}}
-\def\corollarynamePT{{Corolário}}
-\def\propertynamePT{{Propriedade}}
-\def\factnamePT{{Facto}}
-\def\conjecturenamePT{{Conjetura}}
-\def\definitionnamePT{{Definição}}
-\def\axiomnamePT{{Axioma}}
-\def\assumptionnamePT{{Suposição}}
-\def\conventionnamePT{{Convenção}}
-\def\hypothesisnamePT{{Hipótese}}
-\def\notationnamePT{{Notação}}
-\def\examplenamePT{{Exemplo}}
-\def\problemnamePT{{Problema}}
-\def\questionnamePT{{Pergunta}}
-\def\exercisenamePT{{Exercício}}
-\def\remarknamePT{{Comentário}}
-\def\observationnamePT{{Observação}}
-\expandafter\def\csname definition-propositionnamePT\endcsname{\definitionnamePT-\propositionnamePT}
-\expandafter\def\csname definition-theoremnamePT\endcsname{\definitionnamePT-\theoremnamePT}
+    \def\theoremnamePT{{Teorema}}
+    \def\lemmanamePT{{Lema}}
+    \def\propositionnamePT{{Proposição}}
+    \def\corollarynamePT{{Corolário}}
+    \def\propertynamePT{{Propriedade}}
+    \def\factnamePT{{Facto}}
+    \def\conjecturenamePT{{Conjetura}}
+    \def\definitionnamePT{{Definição}}
+    \def\axiomnamePT{{Axioma}}
+    \def\assumptionnamePT{{Suposição}}
+    \def\conventionnamePT{{Convenção}}
+    \def\hypothesisnamePT{{Hipótese}}
+    \def\notationnamePT{{Notação}}
+    \def\examplenamePT{{Exemplo}}
+    \def\problemnamePT{{Problema}}
+    \def\questionnamePT{{Pergunta}}
+    \def\exercisenamePT{{Exercício}}
+    \def\remarknamePT{{Comentário}}
+    \def\observationnamePT{{Observação}}
+    \expandafter\def\csname definition-propositionnamePT\endcsname{\definitionnamePT-\propositionnamePT}
+    \expandafter\def\csname definition-theoremnamePT\endcsname{\definitionnamePT-\theoremnamePT}
 
 %# 巴西葡萄牙语定理名称
 %# Brazilian theorems names
-\def\theoremnameBR{{Teorema}}
-\def\lemmanameBR{{Lema}}
-\def\propositionnameBR{{Proposição}}
-\def\corollarynameBR{{Corolário}}
-\def\propertynameBR{{Propriedade}}
-\def\factnameBR{{Facto}}
-\def\conjecturenameBR{{Conjetura}}
-\def\definitionnameBR{{Definição}}
-\def\axiomnameBR{{Axioma}}
-\def\assumptionnameBR{{Suposição}}
-\def\conventionnameBR{{Convenção}}
-\def\hypothesisnameBR{{Hipótese}}
-\def\notationnameBR{{Notação}}
-\def\examplenameBR{{Exemplo}}
-\def\problemnameBR{{Problema}}
-\def\questionnameBR{{Pergunta}}
-\def\exercisenameBR{{Exercício}}
-\def\remarknameBR{{Comentário}}
-\def\observationnameBR{{Observação}}
-\expandafter\def\csname definition-propositionnameBR\endcsname{\definitionnameBR-\propositionnameBR}
-\expandafter\def\csname definition-theoremnameBR\endcsname{\definitionnameBR-\theoremnameBR}
+    \def\theoremnameBR{{Teorema}}
+    \def\lemmanameBR{{Lema}}
+    \def\propositionnameBR{{Proposição}}
+    \def\corollarynameBR{{Corolário}}
+    \def\propertynameBR{{Propriedade}}
+    \def\factnameBR{{Fato}}
+    \def\conjecturenameBR{{Conjectura}}
+    \def\definitionnameBR{{Definição}}
+    \def\axiomnameBR{{Axioma}}
+    \def\assumptionnameBR{{Suposição}}
+    \def\conventionnameBR{{Convenção}}
+    \def\hypothesisnameBR{{Hipótese}}
+    \def\notationnameBR{{Notação}}
+    \def\examplenameBR{{Exemplo}}
+    \def\problemnameBR{{Problema}}
+    \def\questionnameBR{{Pergunta}}
+    \def\exercisenameBR{{Exercício}}
+    \def\remarknameBR{{Comentário}}
+    \def\observationnameBR{{Observação}}
+    \expandafter\def\csname definition-propositionnameBR\endcsname{\definitionnameBR-\propositionnameBR}
+    \expandafter\def\csname definition-theoremnameBR\endcsname{\definitionnameBR-\theoremnameBR}
 
 %# 西班牙语定理名称
 %# Spanish theorems names
-\def\theoremnameES{{Teorema}}
-\def\lemmanameES{{Lema}}
-\def\propositionnameES{{Proposición}}
-\def\corollarynameES{{Corolario}}
-\def\propertynameES{{Propiedad}}
-\def\factnameES{{Hecho}}
-\def\conjecturenameES{{Conjetura}}
-\def\definitionnameES{{Definición}}
-\def\axiomnameES{{Axioma}}
-\def\assumptionnameES{{Suposición}}
-\def\conventionnameES{{Convención}}
-\def\hypothesisnameES{{Hipótesis}}
-\def\notationnameES{{Notación}}
-\def\examplenameES{{Ejemplo}}
-\def\problemnameES{{Problema}}
-\def\questionnameES{{Pregunta}}
-\def\exercisenameES{{Ejercicio}}
-\def\remarknameES{{Comentario}}
-\def\observationnameES{{Observación}}
-\expandafter\def\csname definition-propositionnameES\endcsname{\definitionnameES-\propositionnameES}
-\expandafter\def\csname definition-theoremnameES\endcsname{\definitionnameES-\theoremnameES}
+    \def\theoremnameES{{Teorema}}
+    \def\lemmanameES{{Lema}}
+    \def\propositionnameES{{Proposición}}
+    \def\corollarynameES{{Corolario}}
+    \def\propertynameES{{Propiedad}}
+    \def\factnameES{{Hecho}}
+    \def\conjecturenameES{{Conjetura}}
+    \def\definitionnameES{{Definición}}
+    \def\axiomnameES{{Axioma}}
+    \def\assumptionnameES{{Suposición}}
+    \def\conventionnameES{{Convención}}
+    \def\hypothesisnameES{{Hipótesis}}
+    \def\notationnameES{{Notación}}
+    \def\examplenameES{{Ejemplo}}
+    \def\problemnameES{{Problema}}
+    \def\questionnameES{{Pregunta}}
+    \def\exercisenameES{{Ejercicio}}
+    \def\remarknameES{{Comentario}}
+    \def\observationnameES{{Observación}}
+    \expandafter\def\csname definition-propositionnameES\endcsname{\definitionnameES-\propositionnameES}
+    \expandafter\def\csname definition-theoremnameES\endcsname{\definitionnameES-\theoremnameES}
 
 %# 中文定理名称
 %# Chinese theorems names
-\def\theoremnameCN{{定理}}
-\def\lemmanameCN{{引理}}
-\def\propositionnameCN{{命题}}
-\def\corollarynameCN{{推论}}
-\def\propertynameCN{{性质}}
-\def\factnameCN{{事实}}
-\def\conjecturenameCN{{猜想}}
-\def\definitionnameCN{{定义}}
-\def\axiomnameCN{{公理}}
-\def\assumptionnameCN{{假设}}
-\def\conventionnameCN{{约定}}
-\def\hypothesisnameCN{{假设}}
-\def\notationnameCN{{记号}}
-\def\examplenameCN{{例}}
-\def\problemnameCN{{问题}}
-\def\questionnameCN{{问题}}
-\def\exercisenameCN{{练习}}
-\def\remarknameCN{{备注}}
-\def\observationnameCN{{观察}}
-\expandafter\def\csname definition-propositionnameCN\endcsname{\definitionnameCN-\propositionnameCN}
-\expandafter\def\csname definition-theoremnameCN\endcsname{\definitionnameCN-\theoremnameCN}
-
-\def\theoremnameTC{{定理}}
-\def\lemmanameTC{{引理}}
-\def\propositionnameTC{{命題}}
-\def\corollarynameTC{{推論}}
-\def\propertynameTC{{性質}}
-\def\factnameTC{{事實}}
-\def\conjecturenameTC{{猜想}}
-\def\definitionnameTC{{定義}}
-\def\axiomnameTC{{公理}}
-\def\assumptionnameTC{{假設}}
-\def\conventionnameTC{{約定}}
-\def\hypothesisnameTC{{假設}}
-\def\notationnameTC{{記號}}
-\def\examplenameTC{{例}}
-\def\problemnameTC{{問題}}
-\def\questionnameTC{{問題}}
-\def\exercisenameTC{{練習}}
-\def\remarknameTC{{備註}}
-\def\observationnameTC{{觀察}}
-\expandafter\def\csname definition-propositionnameTC\endcsname{\definitionnameTC-\propositionnameTC}
-\expandafter\def\csname definition-theoremnameTC\endcsname{\definitionnameTC-\theoremnameTC}
+    \def\theoremnameCN{{定理}}
+    \def\lemmanameCN{{引理}}
+    \def\propositionnameCN{{命题}}
+    \def\corollarynameCN{{推论}}
+    \def\propertynameCN{{性质}}
+    \def\factnameCN{{事实}}
+    \def\conjecturenameCN{{猜想}}
+    \def\definitionnameCN{{定义}}
+    \def\axiomnameCN{{公理}}
+    \def\assumptionnameCN{{假定}}
+    \def\conventionnameCN{{约定}}
+    \def\hypothesisnameCN{{假设}}
+    \def\notationnameCN{{记号}}
+    \def\examplenameCN{{例}}
+    \def\problemnameCN{{问题}}
+    \def\questionnameCN{{问题}}
+    \def\exercisenameCN{{练习}}
+    \def\remarknameCN{{备注}}
+    \def\observationnameCN{{观察}}
+    \expandafter\def\csname definition-propositionnameCN\endcsname{\definitionnameCN-\propositionnameCN}
+    \expandafter\def\csname definition-theoremnameCN\endcsname{\definitionnameCN-\theoremnameCN}
+
+    \def\theoremnameTC{{定理}}
+    \def\lemmanameTC{{引理}}
+    \def\propositionnameTC{{命題}}
+    \def\corollarynameTC{{推論}}
+    \def\propertynameTC{{性質}}
+    \def\factnameTC{{事實}}
+    \def\conjecturenameTC{{猜想}}
+    \def\definitionnameTC{{定義}}
+    \def\axiomnameTC{{公理}}
+    \def\assumptionnameTC{{假定}}
+    \def\conventionnameTC{{約定}}
+    \def\hypothesisnameTC{{假設}}
+    \def\notationnameTC{{記號}}
+    \def\examplenameTC{{例}}
+    \def\problemnameTC{{問題}}
+    \def\questionnameTC{{問題}}
+    \def\exercisenameTC{{練習}}
+    \def\remarknameTC{{備註}}
+    \def\observationnameTC{{觀察}}
+    \expandafter\def\csname definition-propositionnameTC\endcsname{\definitionnameTC-\propositionnameTC}
+    \expandafter\def\csname definition-theoremnameTC\endcsname{\definitionnameTC-\theoremnameTC}
 
 %# 日文定理名称
 %# Japanese theorems names
-\def\theoremnameJP{{定理}}
-\def\lemmanameJP{{補題}}
-\def\propositionnameJP{{命題}}
-\def\corollarynameJP{{系}}
-\def\propertynameJP{{性質}}
-\def\factnameJP{{事実}}
-\def\conjecturenameJP{{予想}}
-\def\definitionnameJP{{定義}}
-\def\axiomnameJP{{公理}}
-\def\assumptionnameJP{{仮定}}
-\def\conventionnameJP{{慣例}}
-\def\hypothesisnameJP{{仮設}}
-\def\notationnameJP{{記法}}
-\def\examplenameJP{{例}}
-\def\problemnameJP{{問題}}
-\def\questionnameJP{{問題}}
-\def\exercisenameJP{{練習}}
-\def\remarknameJP{{注釈}}
-\def\observationnameJP{{観察}}
-\expandafter\def\csname definition-propositionnameJP\endcsname{\definitionnameJP-\propositionnameJP}
-\expandafter\def\csname definition-theoremnameJP\endcsname{\definitionnameJP-\theoremnameJP}
+    \def\theoremnameJP{{定理}}
+    \def\lemmanameJP{{補題}}
+    \def\propositionnameJP{{命題}}
+    \def\corollarynameJP{{系}}
+    \def\propertynameJP{{性質}}
+    \def\factnameJP{{事実}}
+    \def\conjecturenameJP{{予想}}
+    \def\definitionnameJP{{定義}}
+    \def\axiomnameJP{{公理}}
+    \def\assumptionnameJP{{仮定}}
+    \def\conventionnameJP{{慣例}}
+    \def\hypothesisnameJP{{仮設}}
+    \def\notationnameJP{{記法}}
+    \def\examplenameJP{{例}}
+    \def\problemnameJP{{問題}}
+    \def\questionnameJP{{問題}}
+    \def\exercisenameJP{{練習}}
+    \def\remarknameJP{{注釈}}
+    \def\observationnameJP{{観察}}
+    \expandafter\def\csname definition-propositionnameJP\endcsname{\definitionnameJP-\propositionnameJP}
+    \expandafter\def\csname definition-theoremnameJP\endcsname{\definitionnameJP-\theoremnameJP}
 
 %# 俄文定理名称
 %# Russian theorems names
-\def\theoremnameRU{{Теорема}} % Теоре́ма
-\def\lemmanameRU{{Лемма}} % Ле́мма
-\def\propositionnameRU{{Предложение}} % Предложе́ние
-\def\corollarynameRU{{Следствие}} % Сле́дствие
-\def\propertynameRU{{Имущество}} % Иму́щество
-\def\factnameRU{{Факт}}
-\def\conjecturenameRU{{Гипотеза}} % Гипо́теза
-\def\definitionnameRU{{Определение}} % Определе́ние
-\def\axiomnameRU{{Аксиома}} % Аксио́ма
-\def\assumptionnameRU{{Предположение}} % Предположе́ние
-\def\conventionnameRU{{Конвенция}} % Конве́нция
-\def\hypothesisnameRU{{Гипотеза}} % Гипо́теза
-\def\notationnameRU{{Нотация}} % Нота́ция
-\def\examplenameRU{{Пример}} % Приме́р
-\def\problemnameRU{{Проблема}} % Пробле́ма
-\def\questionnameRU{{Вопрос}} % Вопро́с
-\def\exercisenameRU{{Упражнение}} % Упражне́ние
-\def\remarknameRU{{Замечание}} % Замеча́ние
-\def\observationnameRU{{Наблюдение}} % Наблюде́ние
-\expandafter\def\csname definition-propositionnameRU\endcsname{\definitionnameRU-\propositionnameRU}
-\expandafter\def\csname definition-theoremnameRU\endcsname{\definitionnameRU-\theoremnameRU}
+    \def\theoremnameRU{{Теорема}} % Теоре́ма
+    \def\lemmanameRU{{Лемма}} % Ле́мма
+    \def\propositionnameRU{{Предложение}} % Предложе́ние
+    \def\corollarynameRU{{Следствие}} % Сле́дствие
+    \def\propertynameRU{{Имущество}} % Иму́щество
+    \def\factnameRU{{Факт}}
+    \def\conjecturenameRU{{Гипотеза}} % Гипо́теза % Конъектура Конъекту́ра
+    \def\definitionnameRU{{Определение}} % Определе́ние
+    \def\axiomnameRU{{Аксиома}} % Аксио́ма
+    \def\assumptionnameRU{{Предположение}} % Предположе́ние
+    \def\conventionnameRU{{Конвенция}} % Конве́нция
+    \def\hypothesisnameRU{{Гипотеза}} % Гипо́теза
+    \def\notationnameRU{{Нотация}} % Нота́ция
+    \def\examplenameRU{{Пример}} % Приме́р
+    \def\problemnameRU{{Проблема}} % Пробле́ма
+    \def\questionnameRU{{Вопрос}} % Вопро́с
+    \def\exercisenameRU{{Упражнение}} % Упражне́ние
+    \def\remarknameRU{{Замечание}} % Замеча́ние
+    \def\observationnameRU{{Наблюдение}} % Наблюде́ние
+    \expandafter\def\csname definition-propositionnameRU\endcsname{\definitionnameRU-\propositionnameRU}
+    \expandafter\def\csname definition-theoremnameRU\endcsname{\definitionnameRU-\theoremnameRU}
+}
 
 %# 判断最高级别的标题是 section 还是 chapter
 %# Detect the highest level of title: section or chapter?
@@ -2170,7 +3425,7 @@
     \def\creflastconjunction{~和~}%
     \def\crefpairgroupconjunction{~和~}%
     \def\crefmiddlegroupconjunction{、}%
-    \def\creflastgroupconjunction{~和~}%
+    \def\creflastgroupconjunction{~以及~}%
     \def\crefrangeconjunction{～}%
 }
 \gappto{\PJLlang@langconfig@TC}{%
@@ -2187,7 +3442,7 @@
     \def\creflastconjunction{~與~}%
     \def\crefpairgroupconjunction{~與~}%
     \def\crefmiddlegroupconjunction{、}%
-    \def\creflastgroupconjunction{~與~}%
+    \def\creflastgroupconjunction{~以及~}%
     \def\crefrangeconjunction{～}%
 }
 \gappto{\PJLlang@langconfig@JP}{%
@@ -2204,8 +3459,8 @@
     \def\creflastconjunction{~と~}%
     \def\crefpairgroupconjunction{~と~}%
     \def\crefmiddlegroupconjunction{~と~}%
-    \def\creflastgroupconjunction{~と~}%
-    \def\crefrangeconjunction{〜}%
+    \def\creflastgroupconjunction{~及び~}%
+    \def\crefrangeconjunction{～}%
 }
 \gappto{\PJLlang@langconfig@RU}{%
     \crefname{equation}{уравнение}{уравнения}%
@@ -2260,6 +3515,8 @@
 \DeclareStringOption{thmnum}[PJL@thmnum@default]
 \DeclareBoolOption[true]{regionalref}
 \DeclareBoolOption[false]{originalref}
+\DeclareBoolOption[true]{complexname}
+\DeclareBoolOption[false]{simplename}
 \DeclareBoolOption[false]{useosf}
 \DeclareBoolOption[false]{lmodern}
 \DeclareBoolOption[false]{palatino}
@@ -2276,6 +3533,9 @@
 \if@ProjLib@originalref
     \@ProjLib@regionalreffalse
 \fi
+\if@ProjLib@simplename
+    \@ProjLib@complexnamefalse
+\fi
 \if@ProjLib@draft
     \@ProjLib@fasttrue
 \fi
@@ -2307,6 +3567,9 @@
 \if@ProjLib@regionalref\else
     \PassOptionsToPackage{originalref}{PJLthm}
 \fi
+\if@ProjLib@complexname\else
+    \PassOptionsToPackage{simplename}{PJLthm}
+\fi
 
 %# 加载不默认载入的组件
 %# Load those components not by default loaded
@@ -2414,6 +3677,7 @@
 %# 使用 microtype 优化排版细节
 %# Use `microtype` to get details better
 \RequirePackage{microtype}
+\AtEndPreamble{\AtBeginDocument{\microtypesetup{disable}{\scshape}\microtypesetup{enable}}}
 %</ProjLib>
 
 \endinput
\ No newline at end of file
-- 
cgit v1.2.3

