%%
%% This is file `projlib-theorem.sty',
%% generated with the docstrip utility.
%%
%% Copyright (C) 2021-2024 by Jinwen XU
%% 
%% This is part of the ProjLib Toolkit.
%% 
%% This work may be distributed and/or modified under the conditions of the
%% LaTeX Project Public License, either version 1.3c of this license or (at
%% your option) any later version. The latest version of this license is in
%% 
%%     http://www.latex-project.org/lppl.txt
%% 
%% and version 1.3c or later is part of all distributions of LaTeX version
%% 2005/12/01 or later.
%% 
\NeedsTeXFormat{LaTeX2e}[2022-06-01]
\ProvidesExplPackage
  {projlib-theorem}
  {2024/03/01} {}
  {Configuration of theorem-like environments}

\keys_define:nn { projlib-theorem }
  {
    , no-theorems                 .bool_set:N         = \l__projlib_theorem_no_theorems_bool
    , no-theorems                 .initial:n          = { false }
    , no~theorems                 .bool_set:N         = \l__projlib_theorem_no_theorems_bool
    , no theorems                 .bool_set:N         = \l__projlib_theorem_no_theorems_bool
    , nothms                      .bool_set:N         = \l__projlib_theorem_no_theorems_bool
    , no-theorem-numbering        .bool_set:N         = \l__projlib_theorem_no_theorem_numbering_bool
    , no-theorem-numbering        .initial:n          = { false }
    , no~theorem~numbering        .bool_set:N         = \l__projlib_theorem_no_theorem_numbering_bool
    , no theorem numbering        .bool_set:N         = \l__projlib_theorem_no_theorem_numbering_bool
    , nothmnum                    .bool_set:N         = \l__projlib_theorem_no_theorem_numbering_bool
    , theorem-numbering           .tl_set:N           = \l__projlib_theorem_theorem_numbering_tl
    , theorem-numbering           .default:n          = { * }
    , theorem~numbering           .tl_set:N           = \l__projlib_theorem_theorem_numbering_tl
    , theorem~numbering           .default:n          = { * }
    , theorem numbering           .tl_set:N           = \l__projlib_theorem_theorem_numbering_tl
    , theorem numbering           .default:n          = { * }
    , thmnum                      .tl_set:N           = \l__projlib_theorem_theorem_numbering_tl
    , thmnum                      .default:n          = { * }
    , separate-theorem-numbering  .bool_set:N         = \l__projlib_theorem_separate_theorem_numbering_bool
    , separate-theorem-numbering  .initial:n          = { false }
    , separate~theorem~numbering  .bool_set:N         = \l__projlib_theorem_separate_theorem_numbering_bool
    , separate theorem numbering  .bool_set:N         = \l__projlib_theorem_separate_theorem_numbering_bool
    , number-theorems-separately  .bool_set:N         = \l__projlib_theorem_separate_theorem_numbering_bool
    , number~theorems~separately  .bool_set:N         = \l__projlib_theorem_separate_theorem_numbering_bool
    , number theorems separately  .bool_set:N         = \l__projlib_theorem_separate_theorem_numbering_bool
    , theorem-style               .tl_set:N           = \l__projlib_theorem_theorem_style_tl
    , theorem-style               .initial:n          = { }
    , theorem-style               .value_required:n   = true
    , theorem~style               .tl_set:N           = \l__projlib_theorem_theorem_style_tl
    , theorem~style               .value_required:n   = true
    , theorem style               .tl_set:N           = \l__projlib_theorem_theorem_style_tl
    , theorem style               .value_required:n   = true
    , complex-name                .bool_set:N         = \l__projlib_theorem_complexname_bool
    , complex-name                .initial:n          = { true }
    , complex~name                .bool_set:N         = \l__projlib_theorem_complexname_bool
    , complex name                .bool_set:N         = \l__projlib_theorem_complexname_bool
    , complex-names               .bool_set:N         = \l__projlib_theorem_complexname_bool
    , complex~names               .bool_set:N         = \l__projlib_theorem_complexname_bool
    , complex names               .bool_set:N         = \l__projlib_theorem_complexname_bool
    , simple-name                 .bool_set_inverse:N = \l__projlib_theorem_complexname_bool
    , simple~name                 .bool_set_inverse:N = \l__projlib_theorem_complexname_bool
    , simple name                 .bool_set_inverse:N = \l__projlib_theorem_complexname_bool
    , simple-names                .bool_set_inverse:N = \l__projlib_theorem_complexname_bool
    , simple~names                .bool_set_inverse:N = \l__projlib_theorem_complexname_bool
    , simple names                .bool_set_inverse:N = \l__projlib_theorem_complexname_bool
    , no-preset-names             .bool_set_inverse:N = \l__projlib_theorem_presetname_bool
    , no-preset-names             .initial:n          = { false }
    , no~preset~names             .bool_set_inverse:N = \l__projlib_theorem_presetname_bool
    , no preset names             .bool_set_inverse:N = \l__projlib_theorem_presetname_bool
    , unknown                     .code:n             = { \PassOptionsToPackage { \CurrentOption } { create-theorem } }
  }
\ProcessKeyOptions [ projlib-theorem ]

\clist_const:Nn \c_projlib_theorem_supported_clist
  {
    application               ,
    assertion                 ,
    assumption                ,
    axiom                     ,
    claim                     ,
    commentary                ,
    conclusion                ,
    conjecture                ,
    construction              ,
    convention                ,
    corollary                 ,
    definition                ,
    example                   ,
    exercise                  ,
    fact                      ,
    hypothesis                ,
    lemma                     ,
    motivation                ,
    notation                  ,
    observation               ,
    postulate                 ,
    problem                   ,
    property                  ,
    proposition               ,
    question                  ,
    recall                    ,
    remark                    ,
    theorem                   ,
    definition-corollary      ,
    definition-proposition    ,
    definition-theorem        ,
    corollary-definition      ,
    proposition-definition    ,
    theorem-definition        ,
    applications              ,
    assertions                ,
    assumptions               ,
    axioms                    ,
    claims                    ,
    commentaries              ,
    conclusions               ,
    conjectures               ,
    constructions             ,
    conventions               ,
    corollaries               ,
    definitions               ,
    examples                  ,
    exercises                 ,
    facts                     ,
    hypotheses                ,
    lemmas                    ,
    motivations               ,
    notations                 ,
    observations              ,
    postulates                ,
    problems                  ,
    properties                ,
    propositions              ,
    questions                 ,
    recalls                   ,
    remarks                   ,
    theorems                  ,
  }

\@ifclassloaded { beamer }
  {
    \RequirePackage { silence }
    \WarningFilter { cleveref } { hyperref~package~loaded~with~implicit=false~option }
    \bool_set_true:N \l__projlib_theorem_no_theorem_numbering_bool
    \bool_if:NF \l__projlib_theorem_no_theorems_bool
      {
        \cs_undefine:c { theorem    } \cs_undefine:c { endtheorem    }
        \cs_undefine:c { lemma      } \cs_undefine:c { endlemma      }
        \cs_undefine:c { corollary  } \cs_undefine:c { endcorollary  }
        \cs_undefine:c { definition } \cs_undefine:c { enddefinition }
        \cs_undefine:c { fact       } \cs_undefine:c { endfact       }
        \cs_undefine:c { example    } \cs_undefine:c { endexample    }
        \cs_undefine:c { problem    } \cs_undefine:c { endproblem    }
      }
  } {}

\RequirePackage { projlib-language }


\cs_new_protected:Nn \projlib_theorem_preset_theorem_style:nn
  {
    \str_case:nnTF { #1 }
      {
        { theorem-with-name } { }
        { proof } { }
      }
      {
        \tl_const:cn { c_crthm_theorem_style_preset_ #1 _inner _tl } { #2 }
      }
      {
        \tl_const:cn { c_crthm_theorem_style_preset_ #1 _tl } { #2 }
      }
  }

\cs_generate_variant:Nn \keyval_parse:nnn { nno }
\keyval_parse:nno
  { \use_none:n }
  { \projlib_theorem_preset_theorem_style:nn }
  { \l__projlib_theorem_theorem_style_tl }

\cs_if_exist:cF { c_crthm_theorem_style_preset_ proof_inner _tl }
  {
    \tl_const:cn { c_crthm_theorem_style_preset_ proof_inner _tl } { remark }
  }

\RequirePackage { mathtools }
\RequirePackage { amsthm }
\RequirePackage { create-theorem }

\RenewCommandCopy \cref      \crefthe
\RenewCommandCopy \Cref      \Crefthe
\RenewCommandCopy \namecref  \namecrefthe
\RenewCommandCopy \nameCref  \nameCrefthe
\RenewCommandCopy \namecrefs \namecrefsthe
\RenewCommandCopy \nameCrefs \nameCrefsthe
\RenewCommandCopy \cpageref  \cpagerefthe
\RenewCommandCopy \Cpageref  \Cpagerefthe
\RenewCommandCopy \crefname  \crefthename
\RenewCommandCopy \Crefname  \Crefthename

\bool_if:NF \l__projlib_theorem_no_theorems_bool
  {
    \bool_if:NTF \l__projlib_theorem_no_theorem_numbering_bool
      {
        \exp_args:Nv \CreateTheorem { c_projlib_theorem_supported_clist } { numberless, create starred version }
      }
      {
        \tl_if_blank:oTF \l__projlib_theorem_theorem_numbering_tl
          {
            \cs_if_exist:cTF { c@chapter }
              { % with \chapter
                \CreateTheorem { theorem } { parent counter = chapter, create starred version }
                \bool_if:NT \l__projlib_theorem_separate_theorem_numbering_bool
                  {
                    \exp_args:Nv \CreateTheorem { c_projlib_theorem_supported_clist } { parent counter = chapter, create starred version, quiet }
                  }
              }
              { % without \chapter
                \CreateTheorem { theorem } { parent counter = section, create starred version }
                \bool_if:NT \l__projlib_theorem_separate_theorem_numbering_bool
                  {
                    \exp_args:Nv \CreateTheorem { c_projlib_theorem_supported_clist } { parent counter = section, create starred version, quiet }
                  }
              }
          }
          {
            \tl_if_eq:NnTF \l__projlib_theorem_theorem_numbering_tl { * }
              {
                \CreateTheorem { theorem } { create starred version }
                \bool_if:NT \l__projlib_theorem_separate_theorem_numbering_bool
                  {
                    \exp_args:Nv \CreateTheorem { c_projlib_theorem_supported_clist } { create starred version, quiet }
                  }
              }
              {
                \CreateTheorem { theorem } { parent counter = \l__projlib_theorem_theorem_numbering_tl, create starred version }
                \bool_if:NT \l__projlib_theorem_separate_theorem_numbering_bool
                  {
                    \exp_args:Nv \CreateTheorem { c_projlib_theorem_supported_clist } { parent counter = \l__projlib_theorem_theorem_numbering_tl, create starred version, quiet }
                  }
              }
          }

        \bool_if:NF \l__projlib_theorem_separate_theorem_numbering_bool
          {
            \exp_args:Nv \CreateTheorem { c_projlib_theorem_supported_clist } { shared counter = theorem, create starred version, quiet }
          }
      }
  }

\newcounter { theorem-with-name }
\newcounter { proof }
\crthm_counter_alias:nn { theorem-with-name } { theorem }

\tl_new:N \l__projlib_theorem_name_of_theorem_with_name_tl
\CreateTheorem { theorem-with-name_inner }
  {
    , name = {
               , heading = { \l__projlib_theorem_name_of_theorem_with_name_tl }
               , crefname = {}{}
               , Crefname = {}{}
             }
    , create-starred-version
    , shared-counter = theorem-with-name
  }

\NewDocumentEnvironment { theorem-with-name } { m O{} }
  {
    \tl_set:Nn \l__projlib_theorem_name_of_theorem_with_name_tl { #1 }
    \begin { theorem-with-name_inner } [ #2 ]
  }
  {
    \end { theorem-with-name_inner }
  }
\NewDocumentEnvironment { theorem-with-name* } { m O{} }
  {
    \tl_set:Nn \l__projlib_theorem_name_of_theorem_with_name_tl { #1 }
    \begin { theorem-with-name_inner* } [ #2 ]
  }
  {
    \end { theorem-with-name_inner* }
  }

\SetTheoremBinding { theorem-with-name } { theorem-with-name_inner }
\SetTheoremBinding { theorem-with-name* } { theorem-with-name_inner* }

\tl_new:N \l__projlib_theorem_name_of_proof_tl
\CreateTheorem { proof_inner } { name = { heading = { \l__projlib_theorem_name_of_proof_tl } }, create-starred-version, qed, shared-counter = proof }

\cs_undefine:c { proof }
\cs_undefine:c { endproof }

\NewDocumentEnvironment { proof } { O{\proofname} }
  {
    \tl_set:Nn \l__projlib_theorem_name_of_proof_tl { #1 }
    \begin { proof_inner }
  }
  {
    \end { proof_inner }
  }
\NewDocumentEnvironment { proof* } { O{\proofname} }
  {
    \tl_set:Nn \l__projlib_theorem_name_of_proof_tl { #1 }
    \begin { proof_inner* }
  }
  {
    \end { proof_inner* }
  }

\SetTheoremBinding { proof } { proof_inner }
\SetTheoremBinding { proof* } { proof_inner* }

\cs_new_protected:Nn \projlib_theorem_disable_theorem_numbering:n
  {
    \clist_map_inline:nn { #1 }
      {
        \__projlib_theorem_disable_theorem_numbering_do:n { ##1 }
      }
  }
\cs_new_protected:Nn \__projlib_theorem_disable_theorem_numbering_do:n
  {
    \CreateTheorem { #1 } { copy-existed = #1* }
  }

\NewDocumentCommand \DisableTheoremNumbering { m }
  {
    \projlib_theorem_disable_theorem_numbering:n { #1 }
  }

\cs_new_protected:Nn \projlib_theorem_switch_theorem_numbering:n
  {
    \clist_map_inline:nn { #1 }
      {
        \__projlib_theorem_switch_theorem_numbering_do:n { ##1 }
      }
  }
\cs_new_protected:Nn \__projlib_theorem_switch_theorem_numbering_do:n
  {
    \CreateTheorem { #1_projlib_theorem_temp } { copy-existed = #1* }
    \CreateTheorem { #1* } { copy-existed = #1 }
    \CreateTheorem { #1 } { copy-existed = #1_projlib_theorem_temp }
  }

\NewDocumentCommand \SwitchTheoremNumbering { m }
  {
    \projlib_theorem_switch_theorem_numbering:n { #1 }
  }

\SwitchTheoremNumbering { theorem-with-name, proof }

\AddLanguageSetting [ schinese ]
  {
    \crefname { equation } { 式 } { 式 }
    \crefname { figure } { 图 } { 图 }
    \crefname { table } { 表 } { 表 }
    \crefname { appendix } { 附录 } { 附录 }
    \Crefname { equation } { 式 } { 式 }
    \Crefname { figure } { 图 } { 图 }
    \Crefname { table } { 表 } { 表 }
    \Crefname { appendix } { 附录 } { 附录 }
    \tl_gset:Nn { \crefpairconjunction } { 、 }
    \tl_gset:Nn { \crefmiddleconjunction } { 、 }
    \tl_gset:Nn { \creflastconjunction } { \nobreakspace 和 \nobreakspace }
    \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace 和 \nobreakspace }
    \tl_gset:Nn { \crefmiddlegroupconjunction } { 、 }
    \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace 以及 \nobreakspace }
    \tl_gset:Nn { \crefrangeconjunction } { ～ }
  }

\AddLanguageSetting [ tchinese ]
  {
    \crefname { equation } { 式 } { 式 }
    \crefname { figure } { 圖 } { 圖 }
    \crefname { table } { 表 } { 表 }
    \crefname { appendix } { 附錄 } { 附錄 }
    \Crefname { equation } { 式 } { 式 }
    \Crefname { figure } { 圖 } { 圖 }
    \Crefname { table } { 表 } { 表 }
    \Crefname { appendix } { 附錄 } { 附錄 }
    \tl_gset:Nn { \crefpairconjunction } { 、 }
    \tl_gset:Nn { \crefmiddleconjunction } { 、 }
    \tl_gset:Nn { \creflastconjunction } { \nobreakspace 與 \nobreakspace }
    \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace 與 \nobreakspace }
    \tl_gset:Nn { \crefmiddlegroupconjunction } { 、 }
    \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace 以及 \nobreakspace }
    \tl_gset:Nn { \crefrangeconjunction } { ～ }
  }

\AddLanguageSetting [ japanese ]
  {
    \crefname { equation } { 式 } { 式 }
    \crefname { figure } { 図 } { 図 }
    \crefname { table } { 表 } { 表 }
    \Crefname { appendix } { 付録 } { 付録 }
    \Crefname { equation } { 式 } { 式 }
    \Crefname { figure } { 図 } { 図 }
    \Crefname { table } { 表 } { 表 }
    \Crefname { appendix } { 付録 } { 付録 }
    \tl_gset:Nn { \crefpairconjunction } { \nobreakspace と \nobreakspace }
    \tl_gset:Nn { \crefmiddleconjunction } { \nobreakspace と \nobreakspace }
    \tl_gset:Nn { \creflastconjunction } { \nobreakspace と \nobreakspace }
    \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace と \nobreakspace }
    \tl_gset:Nn { \crefmiddlegroupconjunction } { \nobreakspace と \nobreakspace }
    \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace 及び \nobreakspace }
    \tl_gset:Nn { \crefrangeconjunction } { ～ }
  }

\AddLanguageSetting [ russian ]
  {
    \crefname { equation } { уравнение } { уравнения }
    \crefname { figure } { рис. } { рис. }
    \crefname { table } { таблица } { таблицы }
    \crefname { appendix } { приложение } { приложения }
    \Crefname { equation } { Уравнение } { Уравнения }
    \Crefname { figure } { Рис. } { Рис. }
    \Crefname { table } { Таблица } { Таблицы }
    \Crefname { appendix } { Приложение } { Приложения }
    \tl_gset:Nn { \crefpairconjunction } { \nobreakspace и \nobreakspace }
    \tl_gset:Nn { \crefmiddleconjunction } { , ~ }
    \tl_gset:Nn { \creflastconjunction } { \nobreakspace и \nobreakspace }
    \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace и \nobreakspace }
    \tl_gset:Nn { \crefmiddlegroupconjunction } { , ~  }
    \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace и \nobreakspace }
    \tl_gset:Nn { \crefrangeconjunction } { \nobreakspace \textasciitilde \nobreakspace }
  }

\AddLanguageSetting [ portuguese ]
  {
    \crefname { equation } { eq. } { eqs. }
    \crefname { figure } { fig. } { figs. }
    \crefname { table } { tabela } { tabelas }
    \crefname { appendix } { apêndice } { apêndices }
    \Crefname { equation } { Eq. } { Eqs. }
    \Crefname { figure } { Fig. } { Figs. }
    \Crefname { table } { Tabela } { Tabelas }
    \Crefname { appendix } { Apêndice } { Apêndices }
    \tl_gset:Nn { \crefpairconjunction } { \nobreakspace e \nobreakspace }
    \tl_gset:Nn { \crefmiddleconjunction } { , ~ }
    \tl_gset:Nn { \creflastconjunction } { \nobreakspace e \nobreakspace }
    \tl_gset:Nn { \crefpairgroupconjunction } { \nobreakspace e \nobreakspace }
    \tl_gset:Nn { \crefmiddlegroupconjunction } { , ~ }
    \tl_gset:Nn { \creflastgroupconjunction } { \nobreakspace e \nobreakspace }
    \tl_gset:Nn { \crefrangeconjunction } { \nobreakspace a \nobreakspace }
  }

\crefformat{equation}{#2\cref@equation@name\nobreakspace\textup{\tagform@{#1}}#3}
\Crefformat{equation}{#2\Cref@equation@name\nobreakspace\textup{\tagform@{#1}}#3}
\crefrangeformat{equation}{\cref@equation@name@plural\nobreakspace#3\textup{\tagform@{#1}}#4\crefrangeconjunction#5\textup{\tagform@{#2}}#6}
\Crefrangeformat{equation}{\Cref@equation@name@plural\nobreakspace#3\textup{\tagform@{#1}}#4\crefrangeconjunction#5\textup{\tagform@{#2}}#6}
\crefmultiformat{equation}{\cref@equation@name@plural\nobreakspace#2\textup{\tagform@{#1}}#3}{\crefpairconjunction#2\textup{\tagform@{#1}}#3}{\crefmiddleconjunction#2\textup{\tagform@{#1}}#3}{\creflastconjunction#2\textup{\tagform@{#1}}#3}
\Crefmultiformat{equation}{\Cref@equation@name@plural\nobreakspace#2\textup{\tagform@{#1}}#3}{\crefpairconjunction#2\textup{\tagform@{#1}}#3}{\crefmiddleconjunction#2\textup{\tagform@{#1}}#3}{\creflastconjunction#2\textup{\tagform@{#1}}#3}
\crefrangemultiformat{equation}{\cref@equation@name@plural\nobreakspace#2\textup{\tagform@{#1}}#3}{\crefpairgroupconjunction#2\textup{\tagform@{#1}}#3}{\crefmiddlegroupconjunction#2\textup{\tagform@{#1}}#3}{\creflastgroupconjunction#2\textup{\tagform@{#1}}#3}
\Crefrangemultiformat{equation}{\Cref@equation@name@plural\nobreakspace#2\textup{\tagform@{#1}}#3}{\crefpairgroupconjunction#2\textup{\tagform@{#1}}#3}{\crefmiddlegroupconjunction#2\textup{\tagform@{#1}}#3}{\creflastgroupconjunction#2\textup{\tagform@{#1}}#3}
\labelcrefformat{equation}{#2\textup{\tagform@{#1}}#3}
\labelcrefrangeformat{equation}{#3\textup{\tagform@{#1}}#4\crefrangeconjunction#5\textup{\tagform@{#2}}#6}
\labelcrefmultiformat{equation}{#2\textup{\tagform@{#1}}#3}{\crefpairconjunction#2\textup{\tagform@{#1}}#3}{\crefmiddleconjunction#2\textup{\tagform@{#1}}#3}{\creflastconjunction#2\textup{\tagform@{#1}}#3}
\labelcrefrangemultiformat{equation}{#2\textup{\tagform@{#1}}#3}{\crefpairgroupconjunction#2\textup{\tagform@{#1}}#3}{\crefmiddlegroupconjunction#2\textup{\tagform@{#1}}#3}{\creflastgroupconjunction#2\textup{\tagform@{#1}}#3}

\bool_if:NF \l__projlib_theorem_presetname_bool { \endinput }
\bool_if:NT \l__projlib_theorem_complexname_bool { \endinput }

\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}{Application}
                    , french      = [l']{Application}[les]{Application}
                    , ngerman     = {Anwendung}{Anwendung}
                    , italian     = [l']{Applicazione}[le]{Applicazione}
                    , portuguese  = [a]{Aplicação}[as]{Aplicação}
                    , brazilian   = [a]{Aplicação}[as]{Aplicação}
                    , spanish     = [la]{Aplicación}[las]{Aplicación}
                    , schinese    = {应用}{应用}
                    , tchinese    = {應用}{應用}
                    , japanese    = {応用}{応用}
                    , russian     = {Применение}{Применение}
                  }
    , Crefname =  {
                    , english     = {Application}{Application}
                    , french      = [L']{Application}[Les]{Application}
                    , ngerman     = {Anwendung}{Anwendung}
                    , italian     = [L']{Applicazione}[Le]{Applicazione}
                    , portuguese  = [A]{Aplicação}[As]{Aplicação}
                    , brazilian   = [A]{Aplicação}[As]{Aplicação}
                    , spanish     = [La]{Aplicación}[Las]{Aplicación}
                    , 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}{Assertion}
                    , french      = [l']{Assertion}[les]{Assertion}
                    , ngerman     = {Assertion}{Assertionen}
                    , italian     = [l']{Asserzione}[le]{Asserzione}
                    , portuguese  = [a]{Asserção}[as]{Asserção}
                    , brazilian   = [a]{Asserção}[as]{Asserção}
                    , spanish     = [la]{Aserción}[las]{Aserción}
                    , schinese    = {断言}{断言}
                    , tchinese    = {斷言}{斷言}
                    , japanese    = {断言}{断言}
                    , russian     = {Утверждение}{Утверждение}
                  }
    , Crefname =  {
                    , english     = {Assertion}{Assertion}
                    , french      = [L']{Assertion}[Les]{Assertion}
                    , ngerman     = {Assertion}{Assertionen}
                    , italian     = [L']{Asserzione}[Le]{Asserzione}
                    , portuguese  = [A]{Asserção}[As]{Asserção}
                    , brazilian   = [A]{Asserção}[As]{Asserção}
                    , spanish     = [La]{Aserción}[Las]{Aserción}
                    , 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}{Assumption}
                    , french      = [la]{Supposition}[les]{Supposition}
                    , ngerman     = {Annahme}{Annahme}
                    , italian     = [la]{Supposizione}[le]{Supposizione}
                    , portuguese  = [a]{Suposição}[as]{Suposição}
                    , brazilian   = [a]{Suposição}[as]{Suposição}
                    , spanish     = [la]{Suposición}[las]{Suposición}
                    , schinese    = {假定}{假定}
                    , tchinese    = {假定}{假定}
                    , japanese    = {仮定}{仮定}
                    , russian     = {Предположение}{Предположение}
                  }
    , Crefname =  {
                    , english     = {Assumption}{Assumption}
                    , french      = [La]{Supposition}[Les]{Supposition}
                    , ngerman     = {Annahme}{Annahme}
                    , italian     = [la]{Supposizione}[le]{Supposizione}
                    , portuguese  = [A]{Suposição}[As]{Suposição}
                    , brazilian   = [A]{Suposição}[As]{Suposição}
                    , spanish     = [La]{Suposición}[Las]{Suposición}
                    , 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}{Axiom}
                    , french      = [l']{Axiome}[les]{Axiome}
                    , ngerman     = {Axiom}{Axiom}
                    , italian     = [l']{Assioma}[gli]{Assioma}
                    , portuguese  = [o]{Axioma}[os]{Axioma}
                    , brazilian   = [o]{Axioma}[os]{Axioma}
                    , spanish     = [el]{Axioma}[los]{Axioma}
                    , schinese    = {公理}{公理}
                    , tchinese    = {公理}{公理}
                    , japanese    = {公理}{公理}
                    , russian     = {Аксиома}{Аксиома}
                  }
    , Crefname =  {
                    , english     = {Axiom}{Axiom}
                    , french      = [L']{Axiome}[Les]{Axiome}
                    , ngerman     = {Axiom}{Axiom}
                    , italian     = [L']{Assioma}[Gli]{Assioma}
                    , portuguese  = [O]{Axioma}[Os]{Axioma}
                    , brazilian   = [O]{Axioma}[Os]{Axioma}
                    , spanish     = [El]{Axioma}[Los]{Axioma}
                    , 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}{Claim}
                    , french      = [l']{Affirmation}[les]{Affirmation}
                    , ngerman     = {Behauptung}{Behauptungen}
                    , italian     = [l']{Affermazione}[le]{Affermazione}
                    , portuguese  = [a]{Afirmação}[as]{Afirmação}
                    , brazilian   = [a]{Afirmação}[as]{Afirmação}
                    , spanish     = [la]{Afirmación}[las]{Afirmación}
                    , schinese    = {断言}{断言}
                    , tchinese    = {斷言}{斷言}
                    , japanese    = {断言}{断言}
                    , russian     = {Утверждение}{Утверждение}
                  }
    , Crefname =  {
                    , english     = {Claim}{Claim}
                    , french      = [L']{Affirmation}[Les]{Affirmation}
                    , ngerman     = {Behauptung}{Behauptungen}
                    , italian     = [L']{Affermazione}[Le]{Affermazione}
                    , portuguese  = [A]{Afirmação}[As]{Afirmação}
                    , brazilian   = [A]{Afirmação}[As]{Afirmação}
                    , spanish     = [La]{Afirmación}[Las]{Afirmación}
                    , 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}{Commentary}
                    , french      = [la]{Commentaire}[les]{Commentaire}
                    , ngerman     = {Kommentar}{Kommentar}
                    , italian     = [il]{Commento}[i]{Commento}
                    , portuguese  = [o]{Comentário}[os]{Comentário}
                    , brazilian   = [o]{Comentário}[os]{Comentário}
                    , spanish     = [el]{Comentario}[los]{Comentario}
                    , schinese    = {解说}{解说}
                    , tchinese    = {解說}{解說}
                    , japanese    = {解説}{解説}
                    , russian     = {Комментарий}{Комментарий}
                  }
    , Crefname =  {
                    , english     = {Commentary}{Commentary}
                    , french      = [La]{Commentaire}[Les]{Commentaire}
                    , ngerman     = {Kommentar}{Kommentar}
                    , italian     = [Il]{Commento}[I]{Commento}
                    , portuguese  = [O]{Comentário}[Os]{Comentário}
                    , brazilian   = [O]{Comentário}[Os]{Comentário}
                    , spanish     = [El]{Comentario}[Los]{Comentario}
                    , 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}{Conclusion}
                    , french      = [la]{Conclusion}[Les]{Conclusion}
                    , ngerman     = {Schlussfolgerung}{Schlussfolgerung}
                    , italian     = [la]{Conclusione}[le]{Conclusione}
                    , portuguese  = [a]{Conclusão}[as]{Conclusão}
                    , brazilian   = [a]{Conclusão}[as]{Conclusão}
                    , spanish     = [la]{Conclusión}[las]{Conclusión}
                    , schinese    = {结论}{结论}
                    , tchinese    = {結論}{結論}
                    , japanese    = {結論}{結論}
                    , russian     = {Вывод}{Вывод}
                  }
    , Crefname =  {
                    , english     = {Conclusion}{Conclusion}
                    , french      = [La]{Conclusion}[Les]{Conclusion}
                    , ngerman     = {Schlussfolgerung}{Schlussfolgerung}
                    , italian     = [La]{Conclusione}[Le]{Conclusione}
                    , portuguese  = [A]{Conclusão}[As]{Conclusão}
                    , brazilian   = [A]{Conclusão}[As]{Conclusão}
                    , spanish     = [La]{Conclusión}[Las]{Conclusión}
                    , 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}{Conjecture}
                    , french      = [la]{Conjecture}[les]{Conjecture}
                    , ngerman     = {Vermutung}{Vermutung}
                    , italian     = [la]{Congettura}[le]{Congettura}
                    , portuguese  = [a]{Conjetura}[as]{Conjetura}
                    , brazilian   = [a]{Conjectura}[as]{Conjectura}
                    , spanish     = [la]{Conjetura}[las]{Conjetura}
                    , schinese    = {猜想}{猜想}
                    , tchinese    = {猜想}{猜想}
                    , japanese    = {予想}{予想}
                    , russian     = {Гипотеза}{Гипотеза}
                  }
    , Crefname =  {
                    , english     = {Conjecture}{Conjecture}
                    , french      = [La]{Conjecture}[Les]{Conjecture}
                    , ngerman     = {Vermutung}{Vermutung}
                    , italian     = [La]{Congettura}[Le]{Congettura}
                    , portuguese  = [A]{Conjetura}[As]{Conjetura}
                    , brazilian   = [A]{Conjectura}[As]{Conjectura}
                    , spanish     = [La]{Conjetura}[Las]{Conjetura}
                    , 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}{Construction}
                    , french      = [la]{Construction}[les]{Construction}
                    , ngerman     = {Konstruktion}{Konstruktion}
                    , italian     = [la]{Costruzione}[le]{Costruzione}
                    , portuguese  = [a]{Construção}[as]{Construção}
                    , brazilian   = [a]{Construção}[as]{Construção}
                    , spanish     = [la]{Construcción}[las]{Construcción}
                    , schinese    = {构造}{构造}
                    , tchinese    = {構造}{構造}
                    , japanese    = {構造}{構造}
                    , russian     = {Конструкция}{Конструкция}
                  }
    , Crefname =  {
                    , english     = {Construction}{Construction}
                    , french      = [La]{Construction}[Les]{Construction}
                    , ngerman     = {Konstruktion}{Konstruktion}
                    , italian     = [La]{Costruzione}[Le]{Costruzione}
                    , portuguese  = [A]{Construção}[As]{Construção}
                    , brazilian   = [A]{Construção}[As]{Construção}
                    , spanish     = [La]{Construcción}[Las]{Construcción}
                    , 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}{Convention}
                    , french      = [la]{Convention}[les]{Convention}
                    , ngerman     = {Konvention}{Konvention}
                    , italian     = [la]{Convenzione}[le]{Convenzione}
                    , portuguese  = [a]{Convenção}[as]{Convenção}
                    , brazilian   = [a]{Convenção}[as]{Convenção}
                    , spanish     = [la]{Convención}[las]{Convención}
                    , schinese    = {约定}{约定}
                    , tchinese    = {約定}{約定}
                    , japanese    = {慣例}{慣例}
                    , russian     = {Конвенция}{Конвенция}
                  }
    , Crefname =  {
                    , english     = {Convention}{Convention}
                    , french      = [La]{Convention}[Les]{Convention}
                    , ngerman     = {Konvention}{Konvention}
                    , italian     = [La]{Convenzione}[Le]{Convenzione}
                    , portuguese  = [A]{Convenção}[As]{Convenção}
                    , brazilian   = [A]{Convenção}[As]{Convenção}
                    , spanish     = [La]{Convención}[Las]{Convención}
                    , 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}{Corollary}
                    , french      = [le]{Corollaire}[les]{Corollaire}
                    , ngerman     = {Korollar}{Korollar}
                    , italian     = [il]{Corollario}[i]{Corollario}
                    , portuguese  = [o]{Corolário}[os]{Corolário}
                    , brazilian   = [o]{Corolário}[os]{Corolário}
                    , spanish     = [el]{Corolario}[los]{Corolario}
                    , schinese    = {推论}{推论}
                    , tchinese    = {推論}{推論}
                    , japanese    = {系}{系}
                    , russian     = {Следствие}{Следствие}
                  }
    , Crefname =  {
                    , english     = {Corollary}{Corollary}
                    , french      = [Le]{Corollaire}[Les]{Corollaire}
                    , ngerman     = {Korollar}{Korollar}
                    , italian     = [Il]{Corollario}[I]{Corollario}
                    , portuguese  = [O]{Corolário}[Os]{Corolário}
                    , brazilian   = [O]{Corolário}[Os]{Corolário}
                    , spanish     = [El]{Corolario}[Los]{Corolario}
                    , 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}{Definition}
                    , french      = [la]{Définition}[les]{Définition}
                    , ngerman     = {Definition}{Definition}
                    , italian     = [la]{Definizione}[le]{Definizione}
                    , portuguese  = [a]{Definição}[as]{Definição}
                    , brazilian   = [a]{Definição}[as]{Definição}
                    , spanish     = [la]{Definición}[las]{Definición}
                    , schinese    = {定义}{定义}
                    , tchinese    = {定義}{定義}
                    , japanese    = {定義}{定義}
                    , russian     = {Определение}{Определение}
                  }
    , Crefname =  {
                    , english     = {Definition}{Definition}
                    , french      = [La]{Définition}[Les]{Définition}
                    , ngerman     = {Definition}{Definition}
                    , italian     = [La]{Definizione}[Le]{Definizione}
                    , portuguese  = [A]{Definição}[As]{Definição}
                    , brazilian   = [A]{Definição}[As]{Definição}
                    , spanish     = [La]{Definición}[Las]{Definición}
                    , 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}{Example}
                    , french      = [l']{Exemple}[les]{Exemple}
                    , ngerman     = {Beispiel}{Beispiel}
                    , italian     = [l']{Esempio}[gli]{Esempio}
                    , portuguese  = [o]{Exemplo}[os]{Exemplo}
                    , brazilian   = [o]{Exemplo}[os]{Exemplo}
                    , spanish     = [el]{Ejemplo}[los]{Ejemplo}
                    , schinese    = {例}{例}
                    , tchinese    = {例}{例}
                    , japanese    = {例}{例}
                    , russian     = {Пример}{Пример}
                  }
    , Crefname =  {
                    , english     = {Example}{Example}
                    , french      = [L']{Exemple}[Les]{Exemple}
                    , ngerman     = {Beispiel}{Beispiel}
                    , italian     = [L']{Esempio}[Gli]{Esempio}
                    , portuguese  = [O]{Exemplo}[Os]{Exemplo}
                    , brazilian   = [O]{Exemplo}[Os]{Exemplo}
                    , spanish     = [El]{Ejemplo}[Los]{Ejemplo}
                    , 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}{Exercise}
                    , french      = [l']{Exercice}[les]{Exercice}
                    , ngerman     = {Übung}{Übung}
                    , italian     = [l']{Esercizio}[gli]{Esercizio}
                    , portuguese  = [o]{Exercício}[os]{Exercício}
                    , brazilian   = [o]{Exercício}[os]{Exercício}
                    , spanish     = [el]{Ejercicio}[los]{Ejercicio}
                    , schinese    = {习题}{习题}
                    , tchinese    = {習題}{習題}
                    , japanese    = {練習}{練習}
                    , russian     = {Упражнение}{Упражнение}
                  }
    , Crefname =  {
                    , english     = {Exercise}{Exercise}
                    , french      = [L']{Exercice}[Les]{Exercice}
                    , ngerman     = {Übung}{Übung}
                    , italian     = [L']{Esercizio}[Gli]{Esercizio}
                    , portuguese  = [O]{Exercício}[Os]{Exercício}
                    , brazilian   = [O]{Exercício}[Os]{Exercício}
                    , spanish     = [El]{Ejercicio}[Los]{Ejercicio}
                    , 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}{Fact}
                    , french      = [le]{Fait}[les]{Fait}
                    , ngerman     = {Tatsache}{Tatsachen}
                    , italian     = [il]{Fatto}[i]{Fatto}
                    , portuguese  = [o]{Facto}[os]{Facto}
                    , brazilian   = [o]{Fato}[os]{Fato}
                    , spanish     = [el]{Hecho}[los]{Hecho}
                    , schinese    = {事实}{事实}
                    , tchinese    = {事實}{事實}
                    , japanese    = {事実}{事実}
                    , russian     = {Факт}{Факт}
                  }
    , Crefname =  {
                    , english     = {Fact}{Fact}
                    , french      = [Le]{Fait}[Les]{Fait}
                    , ngerman     = {Tatsache}{Tatsachen}
                    , italian     = [Il]{Fatto}[I]{Fatto}
                    , portuguese  = [O]{Facto}[Os]{Facto}
                    , brazilian   = [O]{Fato}[Os]{Fato}
                    , spanish     = [El]{Hecho}[Los]{Hecho}
                    , 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}{Hypothesis}
                    , french      = [l']{Hypothèse}[les]{Hypothèse}
                    , ngerman     = {Hypothese}{Hypothese}
                    , italian     = [l']{Ipotesi}[le]{Ipotesi}
                    , portuguese  = [a]{Hipótese}[as]{Hipótese}
                    , brazilian   = [a]{Hipótese}[as]{Hipótese}
                    , spanish     = [la]{Hipótesis}[las]{Hipótesis}
                    , schinese    = {假设}{假设}
                    , tchinese    = {假設}{假設}
                    , japanese    = {仮設}{仮設}
                    , russian     = {Гипотеза}{Гипотеза}
                  }
    , Crefname =  {
                    , english     = {Hypothesis}{Hypothesis}
                    , french      = [L']{Hypothèse}[Les]{Hypothèse}
                    , ngerman     = {Hypothese}{Hypothese}
                    , italian     = [L']{Ipotesi}[Le]{Ipotesi}
                    , portuguese  = [A]{Hipótese}[As]{Hipótese}
                    , brazilian   = [A]{Hipótese}[As]{Hipótese}
                    , 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}{Lemma}
                    , french      = [le]{Lemme}[les]{Lemme}
                    , ngerman     = {Lemma}{Lemma}
                    , italian     = [il]{Lemma}[i]{Lemma}
                    , portuguese  = [o]{Lema}[os]{Lema}
                    , brazilian   = [o]{Lema}[os]{Lema}
                    , spanish     = [el]{Lema}[las]{Lema}
                    , schinese    = {引理}{引理}
                    , tchinese    = {引理}{引理}
                    , japanese    = {補題}{補題}
                    , russian     = {Лемма}{Лемма}
                  }
    , Crefname  = {
                    , english     = {Lemma}{Lemma}
                    , french      = [Le]{Lemme}[Les]{Lemme}
                    , ngerman     = {Lemma}{Lemma}
                    , italian     = [Il]{Lemma}[I]{Lemma}
                    , portuguese  = [O]{Lema}[Os]{Lema}
                    , brazilian   = [O]{Lema}[Os]{Lema}
                    , spanish     = [el]{Lema}[las]{Lema}
                    , 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}{Motivation}
                    , french      = [la]{Motivation}[les]{Motivation}
                    , ngerman     = {Motivation}{Motivation}
                    , italian     = [la]{Motivazione}[le]{Motivazione}
                    , portuguese  = [a]{Motivação}[as]{Motivação}
                    , brazilian   = [a]{Motivação}[as]{Motivação}
                    , spanish     = [la]{Motivacion}[las]{Motivacion}
                    , schinese    = {动机}{动机}
                    , tchinese    = {動機}{動機}
                    , japanese    = {動機}{動機}
                    , russian     = {Мотивация}{Мотивация}
                  }
    , Crefname =  {
                    , english     = {Motivation}{Motivation}
                    , french      = [La]{Motivation}[Les]{Motivation}
                    , ngerman     = {Motivation}{Motivation}
                    , italian     = [La]{Motivazione}[Le]{Motivazione}
                    , portuguese  = [A]{Motivação}[As]{Motivação}
                    , brazilian   = [A]{Motivação}[As]{Motivação}
                    , spanish     = [La]{Motivacion}[Las]{Motivacion}
                    , 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}{Notation}
                    , french      = [la]{Notation}[les]{Notation}
                    , ngerman     = {Notation}{Notation}
                    , italian     = [la]{Notazione}[le]{Notazione}
                    , portuguese  = [a]{Notação}[as]{Notação}
                    , brazilian   = [a]{Notação}[as]{Notação}
                    , spanish     = [la]{Notación}[las]{Notación}
                    , schinese    = {记号}{记号}
                    , tchinese    = {記號}{記號}
                    , japanese    = {記法}{記法}
                    , russian     = {Нотация}{Нотация}
                  }
    , Crefname =  {
                    , english     = {Notation}{Notation}
                    , french      = [La]{Notation}[Les]{Notation}
                    , ngerman     = {Notation}{Notation}
                    , italian     = [La]{Notazione}[Le]{Notazione}
                    , portuguese  = [A]{Notação}[As]{Notação}
                    , brazilian   = [A]{Notação}[As]{Notação}
                    , spanish     = [La]{Notación}[Las]{Notación}
                    , 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}{Observation}
                    , french      = [la]{Observation}[les]{Observation}
                    , ngerman     = {Beobachtung}{Beobachtung}
                    , italian     = [l']{Osservazione}[le]{Osservazione}
                    , portuguese  = [a]{Observação}[as]{Observação}
                    , brazilian   = [a]{Observação}[as]{Observação}
                    , spanish     = [la]{Observación}[las]{Observación}
                    , schinese    = {观察}{观察}
                    , tchinese    = {觀察}{觀察}
                    , japanese    = {観察}{観察}
                    , russian     = {Наблюдение}{Наблюдение}
                  }
    , Crefname =  {
                    , english     = {Observation}{Observation}
                    , french      = [La]{Observation}[Les]{Observation}
                    , ngerman     = {Beobachtung}{Beobachtung}
                    , italian     = [L']{Osservazione}[Le]{Osservazione}
                    , portuguese  = [A]{Observação}[As]{Observação}
                    , brazilian   = [A]{Observação}[As]{Observação}
                    , spanish     = [La]{Observación}[Las]{Observación}
                    , 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}{Postulate}
                    , french      = [le]{Postulat}[les]{Postulat}
                    , ngerman     = {Postulat}{Postulat}
                    , italian     = [il]{Postulato}[i]{Postulato}
                    , portuguese  = [o]{Postulado}[os]{Postulado}
                    , brazilian   = [o]{Postulado}[os]{Postulado}
                    , spanish     = [el]{Postulado}[los]{Postulado}
                    , schinese    = {公设}{公设}
                    , tchinese    = {公設}{公設}
                    , japanese    = {公準}{公準}
                    , russian     = {Постулат}{Постулат}
                  }
    , Crefname =  {
                    , english     = {Postulate}{Postulate}
                    , french      = [Le]{Postulat}[Les]{Postulat}
                    , ngerman     = {Postulat}{Postulat}
                    , italian     = [Il]{Postulato}[I]{Postulato}
                    , portuguese  = [O]{Postulado}[Os]{Postulado}
                    , brazilian   = [O]{Postulado}[Os]{Postulado}
                    , spanish     = [El]{Postulado}[Los]{Postulado}
                    , 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}{Problem}
                    , french      = [le]{Problème}[les]{Problème}
                    , ngerman     = {Problem}{Problem}
                    , italian     = [il]{Problema}[i]{Problema}
                    , portuguese  = [o]{Problema}[os]{Problema}
                    , brazilian   = [o]{Problema}[os]{Problema}
                    , spanish     = [el]{Problema}[los]{Problema}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {Проблема}{Проблема}
                  }
    , Crefname =  {
                    , english     = {Problem}{Problem}
                    , french      = [Le]{Problème}[Les]{Problème}
                    , ngerman     = {Problem}{Problem}
                    , italian     = [Il]{Problema}[I]{Problema}
                    , portuguese  = [O]{Problema}[Os]{Problema}
                    , brazilian   = [O]{Problema}[Os]{Problema}
                    , spanish     = [El]{Problema}[Los]{Problema}
                    , 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}{Property}
                    , french      = [la]{Propriété}[les]{Propriété}
                    , ngerman     = {Eigenschaft}{Eigenschaft}
                    , italian     = [la]{Proprietà}[le]{Proprietà}
                    , portuguese  = [a]{Propriedade}[as]{Propriedade}
                    , brazilian   = [a]{Propriedade}[as]{Propriedade}
                    , spanish     = [la]{Propiedad}[las]{Propiedad}
                    , schinese    = {性质}{性质}
                    , tchinese    = {性質}{性質}
                    , japanese    = {性質}{性質}
                    , russian     = {Имущество}{Имущество}
                  }
    , Crefname =  {
                    , english     = {Property}{Property}
                    , french      = [La]{Propriété}[Les]{Propriété}
                    , ngerman     = {Eigenschaft}{Eigenschaft}
                    , italian     = [La]{Proprietà}[Le]{Proprietà}
                    , portuguese  = [A]{Propriedade}[As]{Propriedade}
                    , brazilian   = [A]{Propriedade}[As]{Propriedade}
                    , spanish     = [La]{Propiedad}[Las]{Propiedad}
                    , 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}{Proposition}
                    , french      = [la]{Proposition}[les]{Proposition}
                    , ngerman     = {Proposition}{Proposition}
                    , italian     = [la]{Proposizione}[le]{Proposizione}
                    , portuguese  = [a]{Proposição}[as]{Proposição}
                    , brazilian   = [a]{Proposição}[as]{Proposição}
                    , spanish     = [la]{Proposición}[las]{Proposición}
                    , schinese    = {命题}{命题}
                    , tchinese    = {命題}{命題}
                    , japanese    = {命題}{命題}
                    , russian     = {Предложение}{Предложение}
                  }
    , Crefname =  {
                    , english     = {Proposition}{Proposition}
                    , french      = [La]{Proposition}[Les]{Proposition}
                    , ngerman     = {Proposition}{Proposition}
                    , italian     = [La]{Proposizione}[Le]{Proposizione}
                    , portuguese  = [A]{Proposição}[As]{Proposição}
                    , brazilian   = [A]{Proposição}[As]{Proposição}
                    , spanish     = [La]{Proposición}[Las]{Proposición}
                    , 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}{Question}
                    , french      = [la]{Question}[les]{Question}
                    , ngerman     = {Frage}{Frage}
                    , italian     = [la]{Domanda}[le]{Domanda}
                    , portuguese  = [a]{Pergunta}[as]{Pergunta}
                    , brazilian   = [a]{Pergunta}[as]{Pergunta}
                    , spanish     = [la]{Pregunta}[las]{Pregunta}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {Вопрос}{Вопрос}
                  }
    , Crefname =  {
                    , english     = {Question}{Question}
                    , french      = [La]{Question}[Les]{Question}
                    , ngerman     = {Frage}{Frage}
                    , italian     = [La]{Domanda}[Le]{Domanda}
                    , portuguese  = [A]{Pergunta}[As]{Pergunta}
                    , brazilian   = [A]{Pergunta}[As]{Pergunta}
                    , spanish     = [La]{Pregunta}[Las]{Pregunta}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {Вопрос}{Вопрос}
                  }
  }

\NameTheorem { recall }
  {
    , heading =   {
                    , english     = Recall
                    , french      = Rappel
                    , ngerman     = Rückruf
                    , italian     = Richiamo
                    , portuguese  = Recordação
                    , brazilian   = Recordação
                    , spanish     = Recuerdo
                    , schinese    = 回顾
                    , tchinese    = 回顧
                    , japanese    = 回顧
                    , russian     = Напоминание
                  }
    , crefname =  {
                    , english     = {Recall}{Recall}
                    , french      = [le]{Rappel}[les]{Rappel}
                    , ngerman     = {Rückruf}{Rückruf}
                    , italian     = [il]{Richiamo}[i]{Richiamo}
                    , portuguese  = [a]{Recordação}[as]{Recordação}
                    , brazilian   = [a]{Recordação}[as]{Recordação}
                    , spanish     = [el]{Recuerdo}[los]{Recuerdo}
                    , schinese    = {回顾}{回顾}
                    , tchinese    = {回顧}{回顧}
                    , japanese    = {回顧}{回顧}
                    , russian     = {Напоминание}{Напоминание}
                  }
    , Crefname =  {
                    , english     = {Recall}{Recall}
                    , french      = [Le]{Rappel}[Les]{Rappel}
                    , ngerman     = {Rückruf}{Rückruf}
                    , italian     = [Il]{Richiamo}[I]{Richiamo}
                    , portuguese  = [A]{Recordação}[As]{Recordação}
                    , brazilian   = [A]{Recordação}[As]{Recordação}
                    , spanish     = [El]{Recuerdo}[Los]{Recuerdo}
                    , schinese    = {回顾}{回顾}
                    , tchinese    = {回顧}{回顧}
                    , japanese    = {回顧}{回顧}
                    , russian     = {Напоминание}{Напоминание}
                  }
  }

\NameTheorem { remark }
  {
    , heading =   {
                    , english     = Remark
                    , french      = Remarque
                    , ngerman     = Erinnerung
                    , italian     = Commento
                    , portuguese  = Comentário
                    , brazilian   = Comentário
                    , spanish     = Comentario
                    , schinese    = 备注
                    , tchinese    = 備註
                    , japanese    = 注釈
                    , russian     = Замечание
                  }
    , crefname =  {
                    , english     = {Remark}{Remark}
                    , french      = [la]{Remarque}[les]{Remarque}
                    , ngerman     = {Erinnerung}{Erinnerungen}
                    , italian     = [il]{Commento}[i]{Commento}
                    , portuguese  = [o]{Comentário}[os]{Comentário}
                    , brazilian   = [o]{Comentário}[os]{Comentário}
                    , spanish     = [el]{Comentario}[los]{Comentario}
                    , schinese    = {备注}{备注}
                    , tchinese    = {備註}{備註}
                    , japanese    = {注釈}{注釈}
                    , russian     = {Замечание}{Замечание}
                  }
    , Crefname =  {
                    , english     = {Remark}{Remark}
                    , french      = [La]{Remarque}[Les]{Remarque}
                    , ngerman     = {Erinnerung}{Erinnerungen}
                    , italian     = [Il]{Commento}[I]{Commento}
                    , portuguese  = [O]{Comentário}[Os]{Comentário}
                    , brazilian   = [O]{Comentário}[Os]{Comentário}
                    , spanish     = [El]{Comentario}[Los]{Comentario}
                    , 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}{Theorem}
                    , french      = [le]{Théorème}[les]{Théorème}
                    , ngerman     = {Satz}{Satz}
                    , italian     = [il]{Teorema}[i]{Teorema}
                    , portuguese  = [o]{Teorema}[os]{Teorema}
                    , brazilian   = [o]{Teorema}[os]{Teorema}
                    , spanish     = [el]{Teorema}[los]{Teorema}
                    , schinese    = {定理}{定理}
                    , tchinese    = {定理}{定理}
                    , japanese    = {定理}{定理}
                    , russian     = {Теорема}{Теорема}
                  }
    , Crefname =  {
                    , english     = {Theorem}{Theorem}
                    , french      = [Le]{Théorème}[Les]{Théorème}
                    , ngerman     = {Satz}{Satz}
                    , italian     = [Il]{Teorema}[I]{Teorema}
                    , portuguese  = [O]{Teorema}[Os]{Teorema}
                    , brazilian   = [O]{Teorema}[Os]{Teorema}
                    , spanish     = [El]{Teorema}[Los]{Teorema}
                    , 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 } }

\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     = {Теоремы}{Теоремы}
                  }
  }

\endinput
%%
%% End of file `projlib-theorem.sty'.