%%
%% Copyright (C) 2021-2023 by Jinwen XU
%% ------------------------------------
%%
%% This file 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
%%
\NeedsTeXFormat{LaTeX2e}[2022-06-01]
\ProvidesExplPackage
  {create-theorem}
  {2023/07/23} {}
  {Initializing theorem-like environments with multilingual support}

\keys_define:nn { create-theorem }
  {
    , name-as-context       .bool_set:N         = \l__crthm_regionalref_bool
    , name-as-context       .initial:n          = { true }
    , name~as~context       .bool_set:N         = \l__crthm_regionalref_bool
    , name as context       .bool_set:N         = \l__crthm_regionalref_bool
    , regionalref           .bool_set:N         = \l__crthm_regionalref_bool
    , name-as-is            .bool_set_inverse:N = \l__crthm_regionalref_bool
    , name~as~is            .bool_set_inverse:N = \l__crthm_regionalref_bool
    , name as is            .bool_set_inverse:N = \l__crthm_regionalref_bool
    , originalref           .bool_set_inverse:N = \l__crthm_regionalref_bool
    , name-in-link          .bool_set:N         = \l__crthm_nameinlink_bool
    , name-in-link          .initial:n          = { false }
    , name~in~link          .bool_set:N         = \l__crthm_nameinlink_bool
    , name in link          .bool_set:N         = \l__crthm_nameinlink_bool
    , no-preset-names       .bool_set_inverse:N = \l__crthm_presetname_bool
    , no-preset-names       .initial:n          = { false }
    , no~preset~names       .bool_set_inverse:N = \l__crthm_presetname_bool
    , no preset names       .bool_set_inverse:N = \l__crthm_presetname_bool
    , unknown               .code:n             = {}
  }
\ProcessKeyOptions [ create-theorem ]

\msg_new:nnn { create-theorem }
  { no-backend }
  { A~backend~(such~as~"amsthm")~~is~needed~to~provide~the~commands~"\iow_char:N \\newtheorem(*)"~and~"\iow_char:N \\theoremstyle"~with~the~usual~behaviour. }
\cs_if_exist:cF { theoremstyle }
  {
    \msg_error:nn  { create-theorem } { no-backend }
  }

\bool_if:NT \l__crthm_nameinlink_bool
  {
    \PassOptionsToPackage { nameinlink } { cleveref }
  }
\RequirePackage { crefthe }
\RequirePackage { amsfonts }

\IfPackageLoadedTF { thmtools }
  {
    \cs_gset_eq:NN \crthm_newtheorem:w \thmt@original@newtheorem
  }
  {
    \cs_gset_eq:NN \crthm_newtheorem:w \newtheorem
  }


% Users should consider appending their languages to this list as needed,
% otherwise the naming functionality may not work in monolingual documents.
\clist_new:N   \g_crthm_supported_language_clist
\clist_gset:Nn \g_crthm_supported_language_clist
  {
    english     ,
    french      ,
    ngerman     ,
    italian     ,
    portuguese  ,
    brazilian   ,
    spanish     ,
    schinese    ,
    tchinese    ,
    japanese    ,
    russian     ,
  }

\cs_new:Nn \crthm_add_to_language_list:n
  {
    \clist_gput_right:Nn \g_crthm_supported_language_clist { #1 }
    \clist_gremove_duplicates:N \g_crthm_supported_language_clist
  }

\NewDocumentCommand \CreateTheoremAddLanguage { m }
  {
    \crthm_add_to_language_list:n { #1 }
  }


\tl_new:N \l__crthm_current_env_tl

\keys_define:nn { create-theorem-naming }
  {
    , heading               .code:n             = { \crthm_set_name_heading:en { \l__crthm_current_env_tl } { #1 } }
    , heading               .value_required:n   = true
    , crefname              .code:n             = { \crthm_set_name_crefname:en { \l__crthm_current_env_tl } { #1 } }
    , crefname              .value_required:n   = true
    , Crefname              .code:n             = { \crthm_set_name_Crefname:en { \l__crthm_current_env_tl } { #1 } }
    , Crefname              .value_required:n   = true
    , heading~style         .code:n             = { \crthm_set_name_style_heading:en { \l__crthm_current_env_tl } { #1 } }
    , heading~style         .value_required:n   = true
    , heading-style         .meta:n             = { heading~style = { #1 } }
    , heading-style         .value_required:n   = true
    , heading style         .meta:n             = { heading~style = { #1 } }
    , heading style         .value_required:n   = true
    , crefname~style        .code:n             = { \crthm_set_name_style_crefname:en { \l__crthm_current_env_tl } { #1 } }
    , crefname~style        .value_required:n   = true
    , crefname-style        .meta:n             = { crefname~style = { #1 } }
    , crefname-style        .value_required:n   = true
    , crefname style        .meta:n             = { crefname~style = { #1 } }
    , crefname style        .value_required:n   = true
    , Crefname~style        .code:n             = { \crthm_set_name_style_Crefname:en { \l__crthm_current_env_tl } { #1 } }
    , Crefname~style        .value_required:n   = true
    , Crefname-style        .meta:n             = { Crefname~style = { #1 } }
    , Crefname-style        .value_required:n   = true
    , Crefname style        .meta:n             = { Crefname~style = { #1 } }
    , Crefname style        .value_required:n   = true
    , numbering~style       .code:n             = { \crthm_set_name_style_numbering:en { \l__crthm_current_env_tl } { #1 } }
    , numbering~style       .value_required:n   = true
    , numbering-style       .meta:n             = { numbering~style = { #1 } }
    , numbering-style       .value_required:n   = true
    , numbering style       .meta:n             = { numbering~style = { #1 } }
    , numbering style       .value_required:n   = true
    , use~name              .code:n             = { \crthm_set_name_with_existed_names:en { \l__crthm_current_env_tl } { #1 } }
    , use~name              .value_required:n   = true
    , use-name              .meta:n             = { use~name = { #1 } }
    , use-name              .value_required:n   = true
    , use name              .meta:n             = { use~name = { #1 } }
    , use name              .value_required:n   = true
    , combined              .meta:n             = { use~name = { #1 } }
    , combined              .value_required:n   = true
    , unknown               .code:n             = {}
  }

\cs_new:Nn \__crthm_set_generic:nnn
  {
    \str_if_in:nnTF { #2 } { = }
      {% key-value definition
        \keyval_parse:nnn
          {}
          { \use:c { __crthm_ #3 :nnn } { #1 } }
          { #2 }
      }
      {% simple definition
        \clist_map_inline:Nn \g_crthm_supported_language_clist
          {
            \use:c { __crthm_ #3 :nnn } { #1 } { ##1 } { #2 }
          }
      }
  }

\cs_new:Nn \crthm_set_name_heading:nn
  % #1 = env name
  % #2 = the settings
  {
    \__crthm_set_generic:nnn { #1 } { #2 } { set_name_heading }
  }
\cs_generate_variant:Nn \crthm_set_name_heading:nn { en }

\cs_new:Nn \__crthm_set_name_heading:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding heading name
  {
    \tl_if_exist:cF { g_crthm_style_heading_ #1 _ #2 _tl }
      {
        \tl_new:c { g_crthm_style_heading_ #1 _ #2 _tl }
      }
    \tl_gset:cn { g_crthm_name_heading_ #1 _ #2 _tl } { \tl_use:c { g_crthm_style_heading_ #1 _ #2 _tl } { #3 } }
  }

\cs_new:Nn \crthm_set_name_crefname:nn
  % #1 = env name
  % #2 = the settings
  {
    \crthm_set_name_crefname_generic:nnn { #1 } { #2 } { c }
  }
\cs_generate_variant:Nn \crthm_set_name_crefname:nn { en }

\cs_new:Nn \crthm_set_name_Crefname:nn
  % #1 = env name
  % #2 = the settings
  {
    \crthm_set_name_crefname_generic:nnn { #1 } { #2 } { C }
  }
\cs_generate_variant:Nn \crthm_set_name_Crefname:nn { en }

\cs_new:Nn \crthm_set_name_crefname_generic:nnn
  % #1 = env name
  % #2 = the settings
  % #3 = c or C
  {
    \__crthm_set_generic:nnn { #1 } { #2 } { set_name_ #3 refname }
  }

\cs_new:Nn \__crthm_set_name_crefname:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
  {
    \str_if_in:nnTF { #3 } { = }
      {
        \crefthe_parse_variant:n { #3 }
        \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #1 } { #2 } } { c }
      }
      {
        \__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { c }
      }
  }

\cs_new:Nn \__crthm_set_name_Crefname:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
  {
    \str_if_in:nnTF { #3 } { = }
      {
        \crefthe_parse_variant:n { #3 }
        \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #1 } { #2 } } { C }
      }
      {
        \__crthm_set_name_crefname_generic:w { #1 } { #2 } #3 { C }
      }
  }

\NewExpandableDocumentCommand \__crthm_set_name_crefname_generic:w { m m O{} m O{} m m }
  % #1 = env name
  % #2 = language name
  % #7 = c or C
  {
    % It is assumed that when #3 is empty, so is #5
    \tl_if_blank:eTF { #3 }
      {
        \tl_gset:cn { g_crthm_core_name_ #7 ref_article_singular_ #1 _ #2 _tl } { }
        \tl_gset:cn { g_crthm_core_name_ #7 ref_article_plural_ #1 _ #2 _tl } { }
        \tl_gset:cn { g_crthm_name_ #7 ref_article_singular_ #1 _ #2 _tl } { \nobreak \crefthemark { \crefthe_retrieve_space: } \nobreak }
        \tl_gset:cn { g_crthm_name_ #7 ref_article_plural_ #1 _ #2 _tl } { \nobreak \crefthemark { \crefthe_retrieve_space: } \nobreak }
      }
      {
        \tl_gset:cn { g_crthm_core_name_ #7 ref_article_singular_ #1 _ #2 _tl } { #3 }
        \tl_gset:cn { g_crthm_core_name_ #7 ref_article_plural_ #1 _ #2 _tl } { #5 }
        \tl_gset:cn { g_crthm_name_ #7 ref_article_singular_ #1 _ #2 _tl } { \crefthemark { #3 } }
        \tl_gset:cn { g_crthm_name_ #7 ref_article_plural_ #1 _ #2 _tl } { \crefthemark { #5 } }
      }

    \tl_if_exist:cF { g_crthm_style_ #7 refname_ #1 _ #2 _tl }
      {
        \tl_new:c { g_crthm_style_ #7 refname_ #1 _ #2 _tl }
      }

    \tl_if_blank:eTF { #4 }
      {
        \tl_gset:cn { g_crthm_name_ #7 ref_singular_ #1 _ #2 _tl } { \nobreak \crefthe_retrieve_space: \nobreak }
      }
      {
        \tl_gset:cn { g_crthm_name_ #7 ref_singular_ #1 _ #2 _tl } { \tl_use:c { g_crthm_style_ #7 refname_ #1 _ #2 _tl } { #4 } }
      }

    \tl_if_blank:eTF { #6 }
      {
        \tl_gset:cn { g_crthm_name_ #7 ref_plural_ #1 _ #2 _tl } { \nobreak \crefthe_retrieve_space: \nobreak }
      }
      {
        \tl_gset:cn { g_crthm_name_ #7 ref_plural_ #1 _ #2 _tl } { \tl_use:c { g_crthm_style_ #7 refname_ #1 _ #2 _tl } { #6 } }
      }

    \bool_if:NTF \l__crthm_regionalref_bool
      {% "regionalref" mode
        \use:c { __crthm_set_name_ #7 refname_do:nnn } { #1 _crthm_regional } { #1 } { \languagename }
      }
      {% "originalref" mode
        \tl_if_exist:cF { c@ #1 _crthm_original_ #2 }
          {
            \crthm_counter_alias:nn { #1 _crthm_original_ #2 } { #1 }
            \hook_gput_code:nnn { begindocument/before } { crthm }
              {
                \cs_set_eq:cc { the #1 _crthm_original_ #2 } { the #1 }
              }
          }
        \use:c { __crthm_set_name_ #7 refname_do:nnn } { #1 _crthm_original_ #2 } { #1 } { #2 }
      }
  }

\cs_new:Nn \__crthm_set_name_crefname_do:nnn
  % #1 = counter name
  % #2 = env name
  % #3 = language name
  {
    \__crthm_set_name_crefname_do_generic:nnnn { #1 } { #2 } { #3 } { c }
  }

\cs_new:Nn \__crthm_set_name_Crefname_do:nnn
  % #1 = counter name
  % #2 = env name
  % #3 = language name
  {
    \__crthm_set_name_crefname_do_generic:nnnn { #1 } { #2 } { #3 } { C }
  }

\seq_new:N \g__crthm_format_already_set_seq

\cs_new:Nn \__crthm_set_name_crefname_do_generic:nnnn
  % #1 = counter name
  % #2 = env name
  % #3 = language name
  % #4 = c or C
  {
    \tl_gset:cn { #4 ref@ #1 @name }
      {
        \tl_use:c { g_crthm_name_ #4 ref_article_singular_ #2 _ #3 _tl }
        \bool_if:NTF \g__crefthe_has_prep_bool
          {
            \tl_use:c { g_crthm_name_ cref_singular_ #2 _ #3 _tl }
          }
          {
            \tl_use:c { g_crthm_name_ #4 ref_singular_ #2 _ #3 _tl }
          }
      }
    \tl_gset:cn { #4 ref@ #1 @name@plural }
      { % Use the definite article of the original language,
        % with name's casing depends on the preposition and the article
        \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl }
        \bool_if:NTF \g__crefthe_has_prep_bool
          {
            \tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
          }
          {
            \tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
          }
      }

    \seq_if_in:NnF \g__crthm_format_already_set_seq { #2 _ #3 }
      {
        \@crefdefineallformats { #1 }
        \seq_gput_right:Nn \g__crthm_format_already_set_seq { #2 _ #3 }
      }

    \tl_if_exist:cF { g_crthm_number_style_ #2 _tl }
      {
        \tl_new:c { g_crthm_number_style_ #2 _tl }
      }

    % Redefine the cref formats so that definite articles are placed outside the hyperlinks
    \crthm_define_format_short_version:nnnn { #2 } { #4 ref@ #1 @format }
      { \tl_use:c { g_crthm_name_ #4 ref_article_singular_ #2 _ #3 _tl } }
      {
        \bool_if:NTF \g__crefthe_has_prep_bool
          {
            \tl_use:c { g_crthm_name_ cref_singular_ #2 _ #3 _tl }
          }
          {
            \tl_use:c { g_crthm_name_ #4 ref_singular_ #2 _ #3 _tl }
          }
      }
    \crthm_define_format_short_version:nnnn { #2 } { #4 ref@ #1 @format@first }
      { \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl } }
      {
        \bool_if:NTF \g__crefthe_has_prep_bool
          {
            \tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
          }
          {
            \tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
          }
      }
    \cs_set:cpn { #4 ref@ #1 @format@second } ##1##2##3
      {
        \crefpairconjunction
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }
    \cs_set:cpn { #4 ref@ #1 @format@middle } ##1##2##3
      {
        \crefmiddleconjunction
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }
    \cs_set:cpn { #4 ref@ #1 @format@last } ##1##2##3
      {
        \creflastconjunction
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }

    \crthm_define_format_long_version:nnnn { #2 } { #4 refrange@ #1 @format }
      { \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl } }
      {
        \bool_if:NTF \g__crefthe_has_prep_bool
          {
            \tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
          }
          {
            \tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
          }
      }
    \crthm_define_format_long_version:nnnn { #2 } { #4 refrange@ #1 @format@first }
      { \tl_use:c { g_crthm_name_ #4 ref_article_plural_ #2 _ #3 _tl } }
      {
        \bool_if:NTF \g__crefthe_has_prep_bool
          {
            \tl_use:c { g_crthm_name_ cref_plural_ #2 _ #3 _tl }
          }
          {
            \tl_use:c { g_crthm_name_ #4 ref_plural_ #2 _ #3 _tl }
          }
      }
    \cs_set:cpn { #4 refrange@ #1 @format@second } ##1##2##3##4##5##6
      {
        \crefpairconjunction
        \group_begin:
        \crthm_format_long_generic:nnnnnn
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
          { ##3 } { ##4 } { ##5 } { ##6 }
        \group_end:
      }
    \cs_set:cpn { #4 refrange@ #1 @format@middle } ##1##2##3##4##5##6
      {
        \crefmiddleconjunction
        \group_begin:
        \crthm_format_long_generic:nnnnnn
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
          { ##3 } { ##4 } { ##5 } { ##6 }
        \group_end:
      }
    \cs_set:cpn { #4 refrange@ #1 @format@last } ##1##2##3##4##5##6
      {
        \creflastconjunction
        \group_begin:
        \crthm_format_long_generic:nnnnnn
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
          { ##3 } { ##4 } { ##5 } { ##6 }
        \group_end:
      }

    % Redefine the labelcref formats to match the numbering format
    \cs_set:cpn { labelcref@ #1 @format } ##1##2##3
      {
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }
    \cs_set_eq:cc { labelcref@ #1 @format@first } { labelcref@ #1 @format }
    \cs_set:cpn { labelcref@ #1 @format@second } ##1##2##3
      {
        \crefpairconjunction
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }
    \cs_set:cpn { labelcref@ #1 @format@middle } ##1##2##3
      {
        \crefmiddleconjunction
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }
    \cs_set:cpn { labelcref@ #1 @format@last } ##1##2##3
      {
        \creflastconjunction
        \group_begin:
        \crthm_format_short_generic:nnn { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } } { ##2 } { ##3 }
        \group_end:
      }

    \crthm_define_format_long_version:nnnn { #2 } { labelcrefrange@ #1 @format } {} {}
    \crthm_define_format_long_version:nnnn { #2 } { labelcrefrange@ #1 @format@first } {} {}
    \cs_set:cpn { labelcrefrange@ #1 @format@second } ##1##2##3##4##5##6
      {
        \crefpairconjunction
        \group_begin:
        \crthm_format_long_generic:nnnnnn
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
          { ##3 } { ##4 } { ##5 } { ##6 }
        \group_end:
      }
    \cs_set:cpn { labelcrefrange@ #1 @format@middle } ##1##2##3##4##5##6
      {
        \crefmiddleconjunction
        \group_begin:
        \crthm_format_long_generic:nnnnnn
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
          { ##3 } { ##4 } { ##5 } { ##6 }
        \group_end:
      }
    \cs_set:cpn { labelcrefrange@ #1 @format@last } ##1##2##3##4##5##6
      {
        \creflastconjunction
        \group_begin:
        \crthm_format_long_generic:nnnnnn
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##1 } }
          { \tl_use:c { g_crthm_number_style_ #2 _tl } { ##2 } }
          { ##3 } { ##4 } { ##5 } { ##6 }
        \group_end:
      }
  }

\cs_new:Nn \crthm_define_format_short_version:nnnn
  { % #1 = name of the environment
    % #2 = name of the format command
    % #3 = content before the hyperlink beginning mark
    % #4 = content after the hyperlink beginning mark
    \cs_if_exist:cF { crthm_format_ #2 :nnn }
      {
        \cs_new:cn { crthm_format_ #2 :nnn }
          {
            { #3 } ##2 { #4 }
            \tl_if_blank:nF { #4 } { \nobreakspace }
            { \tl_use:c { g_crthm_number_style_ #1 _tl } { ##1 } } ##3
          }
        \cs_set_eq:cc { #2 } { crthm_format_ #2 :nnn }
      }
  }
\cs_new:Nn \crthm_define_format_long_version:nnnn
  { % #1 = name of the environment
    % #2 = name of the format command
    % #3 = content before the hyperlink beginning mark
    % #4 = content after the hyperlink beginning mark
    \cs_if_exist:cF { crthm_format_ #2 :nnnnnn }
      {
        \cs_new:cn { crthm_format_ #2 :nnnnnn }
          {
            { #3 } ##3 { #4 }
            \tl_if_blank:nF { #4 } { \nobreakspace } \crefrangepreconjunction
            { \tl_use:c { g_crthm_number_style_ #1 _tl } { ##1 } }
            ##4 \crefrangeconjunction
            ##5 { \tl_use:c { g_crthm_number_style_ #1 _tl } { ##2 } } ##6
            \crefrangepostconjunction
          }
        \cs_set_eq:cc { #2 } { crthm_format_ #2 :nnnnnn }
      }
  }

\cs_new:Nn \crthm_format_short_generic:nnn
  {
    #2 { #1 } #3
  }
\cs_new:Nn \crthm_format_long_generic:nnnnnn
  {
    \crefrangepreconjunction
    #3 { #1 } #4
    \crefrangeconjunction
    #5 { #2 } #6
    \crefrangepostconjunction
  }


\cs_new:Nn \crthm_set_name_style_heading:nn
  % #1 = env name
  % #2 = the settings
  {
    \__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_heading }
  }
\cs_generate_variant:Nn \crthm_set_name_style_heading:nn { en }

\cs_new:Nn \__crthm_set_name_style_heading:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding heading style
  {
    \tl_gset:cn { g_crthm_style_heading_ #1 _ #2 _tl } { \normalfont #3 }
  }

\cs_new:Nn \crthm_set_name_style_crefname:nn
  % #1 = env name
  % #2 = the settings
  {
    \__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_crefname }
  }
\cs_generate_variant:Nn \crthm_set_name_style_crefname:nn { en }

\cs_new:Nn \__crthm_set_name_style_crefname:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding crefname style
  {
    \tl_gset:cn { g_crthm_style_crefname_ #1 _ #2 _tl } { \normalfont #3 }
  }

\cs_new:Nn \crthm_set_name_style_Crefname:nn
  % #1 = env name
  % #2 = the settings
  {
    \__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_Crefname }
  }
\cs_generate_variant:Nn \crthm_set_name_style_Crefname:nn { en }

\cs_new:Nn \__crthm_set_name_style_Crefname:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding Crefname style
  {
    \tl_gset:cn { g_crthm_style_Crefname_ #1 _ #2 _tl } { \normalfont #3 }
  }

\cs_new:Nn \crthm_set_name_style_numbering:nn
  % #1 = env name
  % #2 = the settings
  {
    \__crthm_set_generic:nnn { #1 } { #2 } { set_name_style_numbering }
  }
\cs_generate_variant:Nn \crthm_set_name_style_numbering:nn { en }

\cs_new:Nn \__crthm_set_name_style_numbering:nnn
  % #1 = env name
  % #2 = language name
  % #3 = corresponding numbering style
  {
    \tl_gset:cn { g_crthm_number_style_ #1 _tl } { \normalfont #3 }
  }


\tl_new:N   \g_crthm_combined_name_sep_tl
\tl_gset:Nn \g_crthm_combined_name_sep_tl { - }

\cs_new:Nn \crthm_set_name_with_existed_names:nn
  % #1 = env name
  % #2 = list of existed environments
  {
    \clist_map_inline:Nn \g_crthm_supported_language_clist
      { % ##1 = language name
        \seq_gclear_new:c { g_crthm_name_heading_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_cref_article_singular_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_cref_article_plural_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_cref_singular_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_cref_plural_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_Cref_article_singular_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_Cref_article_plural_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_Cref_singular_ #1 _ ##1 _seq }
        \seq_gclear_new:c { g_crthm_name_Cref_plural_ #1 _ ##1 _seq }
        \bool_set_true:N \l_tmpa_bool
        \regex_split:nnN { \s* ; \s* } { #2 } { \l_tmpa_seq }
        \seq_map_inline:Nn \l_tmpa_seq
          { % ####1 = existed environments
            % Here we use the definite article of the last environment as that of the combined environment
            % Uncomment the lines below if you wish to use the definite article of the first environment
            % \bool_if:NT \l_tmpa_bool
            %   {
                \tl_gset_eq:cc { g_crthm_saved_name_cref_article_singular_ #1 _ ##1 _tl } { g_crthm_core_name_cref_article_singular_ ####1 _ ##1 _tl }
                \tl_gset_eq:cc { g_crthm_saved_name_cref_article_plural_ #1 _ ##1 _tl } { g_crthm_core_name_cref_article_plural_ ####1 _ ##1 _tl }
                \tl_gset_eq:cc { g_crthm_saved_name_Cref_article_singular_ #1 _ ##1 _tl } { g_crthm_core_name_Cref_article_singular_ ####1 _ ##1 _tl }
                \tl_gset_eq:cc { g_crthm_saved_name_Cref_article_plural_ #1 _ ##1 _tl } { g_crthm_core_name_Cref_article_plural_ ####1 _ ##1 _tl }
            %     \bool_set_false:N \l_tmpa_bool
            %   }
            \seq_gput_right:cn { g_crthm_name_heading_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_heading_ ####1 _ ##1 _tl } }
            \seq_gput_right:cn { g_crthm_name_cref_singular_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_cref_singular_ ####1 _ ##1 _tl } }
            \seq_gput_right:cn { g_crthm_name_cref_plural_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_cref_plural_ ####1 _ ##1 _tl } }
            \seq_gput_right:cn { g_crthm_name_Cref_singular_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_Cref_singular_ ####1 _ ##1 _tl } }
            \seq_gput_right:cn { g_crthm_name_Cref_plural_ #1 _ ##1 _seq } { \tl_use:c { g_crthm_name_Cref_plural_ ####1 _ ##1 _tl } }
            % set the numbering style to be the same as the last environment
            \tl_gset_eq:cc { g_crthm_number_style_ #1 _tl } { g_crthm_number_style_ ####1 _tl }
          }
        % set heading name for the combined environment
        \tl_gset:cn { g_crthm_name_heading_ #1 _ ##1 _tl } { \seq_use:cn { g_crthm_name_heading_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
        % set crefname for the combined environment
        \tl_if_empty:cTF { g_crthm_saved_name_cref_article_singular_ #1 _ ##1 _tl }
          {
            \__crthm_set_name_crefname:nnn { #1 } { ##1 }
              {
                { \seq_use:cn { g_crthm_name_cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
                { \seq_use:cn { g_crthm_name_cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
              }
          }
          {
            \__crthm_set_name_crefname:nnn { #1 } { ##1 }
              {
                [ \tl_use:c { g_crthm_saved_name_cref_article_singular_ #1 _ ##1 _tl } ]
                { \seq_use:cn { g_crthm_name_cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
                [ \tl_use:c { g_crthm_saved_name_cref_article_plural_ #1 _ ##1 _tl } ]
                { \seq_use:cn { g_crthm_name_cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
              }
          }
        % set Crefname for the combined environment
        \tl_if_empty:cTF { g_crthm_saved_name_Cref_article_singular_ #1 _ ##1 _tl }
          {
            \__crthm_set_name_Crefname:nnn { #1 } { ##1 }
              {
                { \seq_use:cn { g_crthm_name_Cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
                { \seq_use:cn { g_crthm_name_Cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
              }
          }
          {
            \__crthm_set_name_Crefname:nnn { #1 } { ##1 }
              {
                [ \tl_use:c { g_crthm_saved_name_Cref_article_singular_ #1 _ ##1 _tl } ]
                { \seq_use:cn { g_crthm_name_Cref_singular_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
                [ \tl_use:c { g_crthm_saved_name_Cref_article_plural_ #1 _ ##1 _tl } ]
                { \seq_use:cn { g_crthm_name_Cref_plural_ #1 _ ##1 _seq } { \g_crthm_combined_name_sep_tl } }
              }
          }
      }
  }
\cs_generate_variant:Nn \crthm_set_name_with_existed_names:nn { en }


\NewDocumentCommand \NameTheorem { m m }
  {
    \crthm_name_theorem:nn { #1 } { #2 }
  }

\cs_new:Nn \crthm_name_theorem:nn
  {
    \tl_set:Nn \l__crthm_current_env_tl { #1 }
    \cs_if_exist:cF { c@ #1 }
      {
        \newcounter { #1 }
      }
    \keys_set:nn { create-theorem-naming } { #2 }
  }


\tl_new:N \l__crthm_current_lang_tl

\keys_define:nn { create-theorem-naming-per-language }
  {
    , heading               .code:n             = { \crthm_set_name_per_lang_heading:en { \l__crthm_current_lang_tl } { #1 } }
    , heading               .value_required:n   = true
    , crefname              .code:n             = { \crthm_set_name_per_lang_crefname:en { \l__crthm_current_lang_tl } { #1 } }
    , crefname              .value_required:n   = true
    , Crefname              .code:n             = { \crthm_set_name_per_lang_Crefname:en { \l__crthm_current_lang_tl } { #1 } }
    , Crefname              .value_required:n   = true
    , unknown               .code:n             = {}
  }

\cs_new:Nn \crthm_set_name_per_lang_heading:nn
  % #1 = language name
  % #2 = the settings
  {
    \keyval_parse:nnn
      {}
      { \use:c { __crthm_set_name_per_lang_heading:nnn } { #1 } }
      { #2 }
  }
\cs_generate_variant:Nn \crthm_set_name_per_lang_heading:nn { en }

\cs_new:Nn \__crthm_set_name_per_lang_heading:nnn
  % #1 = language name
  % #2 = env name
  % #3 = corresponding heading name
  {
    \tl_if_exist:cF { g_crthm_style_heading_ #2 _ #1 _tl }
      {
        \tl_new:c { g_crthm_style_heading_ #2 _ #1 _tl }
      }
    \tl_gset:cn { g_crthm_name_heading_ #2 _ #1 _tl } { \tl_use:c { g_crthm_style_heading_ #2 _ #1 _tl } { #3 } }
  }

\cs_new:Nn \crthm_set_name_per_lang_crefname:nn
  % #1 = language name
  % #2 = the settings
  {
    \crthm_set_name_per_lang_crefname_generic:nnn { #1 } { #2 } { c }
  }
\cs_generate_variant:Nn \crthm_set_name_per_lang_crefname:nn { en }

\cs_new:Nn \crthm_set_name_per_lang_Crefname:nn
  % #1 = language name
  % #2 = the settings
  {
    \crthm_set_name_per_lang_crefname_generic:nnn { #1 } { #2 } { C }
  }
\cs_generate_variant:Nn \crthm_set_name_per_lang_Crefname:nn { en }

\cs_new:Nn \crthm_set_name_per_lang_crefname_generic:nnn
  % #1 = language name
  % #2 = the settings
  % #3 = c or C
  {
    \keyval_parse:nnn
      {}
      { \use:c { __crthm_set_name_per_lang_ #3 refname:nnn } { #1 } }
      { #2 }
  }

\cs_new:Nn \__crthm_set_name_per_lang_crefname:nnn
  % #1 = language name
  % #2 = env name
  % #3 = corresponding crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
  {
    \str_if_in:nnTF { #3 } { = }
      {
        \crefthe_parse_variant:n { #3 }
        \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #2 } { #1 } } { c }
      }
      {
        \__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { c }
      }
  }

\cs_new:Nn \__crthm_set_name_per_lang_Crefname:nnn
  % #1 = language name
  % #2 = env name
  % #3 = corresponding Crefname {..}{..} or [..]{..}[..]{..}, or a set of crefnames for different variants
  {
    \str_if_in:nnTF { #3 } { = }
      {
        \crefthe_parse_variant:n { #3 }
        \crefthe_pass_variant_to:n { \__crthm_set_name_crefname_generic:w { #2 } { #1 } } { C }
      }
      {
        \__crthm_set_name_crefname_generic:w { #2 } { #1 } #3 { C }
      }
  }


\NewDocumentCommand \NameTheorems { m m }
  {
    \crthm_name_theorems:nn { #1 } { #2 }
  }

\cs_new:Nn \crthm_name_theorems:nn
  {
    \tl_set:Nn \l__crthm_current_lang_tl { #1 }
    \crthm_add_to_language_list:n { #1 }
    \keys_set:nn { create-theorem-naming-per-language } { #2 }
  }


\tl_const:Nn \c__crthm_qedsymbol_tl { \Box }
\bool_new:N \l__crthm_creating_qed_bool
\tl_new:N   \l__crthm_creating_qed_tl
\bool_new:N \l__crthm_creating_apply_style_bool
\tl_new:N   \l__crthm_creating_apply_style_tl
\bool_new:N \l__crthm_creating_numberless_bool
\bool_new:N \l__crthm_creating_create_starred_bool
\bool_new:N \l__crthm_creating_copy_existed_bool
\tl_new:N   \l__crthm_creating_copy_existed_tl
\keys_define:nn { create-theorem-creating }
  {
    , name                        .code:n             = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
    , name                        .value_required:n   = true
    , name~style                  .code:n             = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
    , name~style                  .value_required:n   = true
    , name-style                  .meta:n             = { name~style = { #1 } }
    , name-style                  .value_required:n   = true
    , name style                  .meta:n             = { name~style = { #1 } }
    , name style                  .value_required:n   = true
    , use~name                    .code:n             = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { use~name = #1 } }
    , use~name                    .value_required:n   = true
    , use-name                    .meta:n             = { use~name = { #1 } }
    , use-name                    .value_required:n   = true
    , use name                    .meta:n             = { use~name = { #1 } }
    , use name                    .value_required:n   = true
    , combined                    .meta:n             = { use~name = { #1 } }
    , combined                    .value_required:n   = true
    , style                       .code:n             = { \bool_set_true:N \l__crthm_creating_apply_style_bool
                                                          \tl_set:Nn \l__crthm_creating_apply_style_tl { #1 }  }
    , style                       .value_required:n   = true
    , apply~style                 .meta:n             = { style = { #1 } }
    , apply~style                 .value_required:n   = true
    , apply-style                 .meta:n             = { style = { #1 } }
    , apply-style                 .value_required:n   = true
    , apply style                 .meta:n             = { style = { #1 } }
    , apply style                 .value_required:n   = true
    , qed                         .code:n             = { \bool_set_true:N \l__crthm_creating_qed_bool
                                                          \tl_set:Nn \l__crthm_creating_qed_tl { #1 }  }
    , qed                         .default:n          = \c__crthm_qedsymbol_tl
    , qed~symbol                  .meta:n             = { qed = #1 }
    , qed~symbol                  .default:n          = \c__crthm_qedsymbol_tl
    , qed-symbol                  .meta:n             = { qed = #1 }
    , qed-symbol                  .default:n          = \c__crthm_qedsymbol_tl
    , qed symbol                  .meta:n             = { qed = #1 }
    , qed symbol                  .default:n          = \c__crthm_qedsymbol_tl
    , numberless                  .bool_set:N         = \l__crthm_creating_numberless_bool
    , create~starred~version      .bool_set:N         = \l__crthm_creating_create_starred_bool
    , create-starred-version      .meta:n             = { create~starred~version }
    , create starred version      .meta:n             = { create~starred~version }
    , create~numberless~version   .meta:n             = { create~starred~version }
    , create-numberless-version   .meta:n             = { create~starred~version }
    , create numberless version   .meta:n             = { create~starred~version }
    , copy~existed                .code:n             = { \bool_set_true:N \l__crthm_creating_copy_existed_bool
                                                          \tl_set:Nn \l__crthm_creating_copy_existed_tl { #1 }  }
    , copy~existed                .value_required:n   = true
    , copy-existed                .meta:n             = { copy~existed = { #1 } }
    , copy-existed                .value_required:n   = true
    , copy existed                .meta:n             = { copy~existed = { #1 } }
    , copy existed                .value_required:n   = true
    , quiet                       .bool_set:N         = \l__crthm_creating_quiet_bool
    , quiet                       .initial:n          = { false }
    , unknown                     .code:n             = {}
  }

\keys_define:nn { create-theorem-creating / counter-management }
  {
    , parent~counter              .code:n             = { \crthm_counter_within:en { \l__crthm_current_env_tl } { #1 } }
    , parent~counter              .value_required:n   = true
    , parent-counter              .meta:n             = { parent~counter = { #1 } }
    , parent-counter              .value_required:n   = true
    , parent counter              .meta:n             = { parent~counter = { #1 } }
    , parent counter              .value_required:n   = true
    , number~within               .meta:n             = { parent~counter = { #1 } }
    , number~within               .value_required:n   = true
    , number-within               .meta:n             = { parent~counter = { #1 } }
    , number-within               .value_required:n   = true
    , number within               .meta:n             = { parent~counter = { #1 } }
    , number within               .value_required:n   = true
    , shared~counter              .code:n             = { \crthm_counter_alias:en { \l__crthm_current_env_tl } { #1 } }
    , shared~counter              .value_required:n   = true
    , shared-counter              .meta:n             = { shared~counter = { #1 } }
    , shared-counter              .value_required:n   = true
    , shared counter              .meta:n             = { shared~counter = { #1 } }
    , shared counter              .value_required:n   = true
    , number~like                 .meta:n             = { shared~counter = { #1 } }
    , number~like                 .value_required:n   = true
    , number-like                 .meta:n             = { shared~counter = { #1 } }
    , number-like                 .value_required:n   = true
    , number like                 .meta:n             = { shared~counter = { #1 } }
    , number like                 .value_required:n   = true
    , unknown                     .code:n             = {}
  }


\NewDocumentCommand \CreateTheorem { m m }
  {
    \clist_map_inline:nn { #1 }
      {
        \crthm_create_theorem:nn { ##1 } { #2 }
      }
  }

\msg_new:nnn { create-theorem }
  { env-not-created }
  { The~theorem-like~environment~"#1"~cannot~be~created,~an~environment~with~the~same~name~has~already~existed. }

\msg_new:nnn { create-theorem }
  { env-not-named }
  { The~theorem-like~environment~"#1"~cannot~be~created,~you~have~to~name~it~before~initialization. }

\cs_new:Nn \crthm_create_theorem:nn
  {
    \tl_set:Nn \l__crthm_current_env_tl { #1 }
    \bool_set_false:N \l__crthm_creating_apply_style_bool
    \bool_set_false:N \l__crthm_creating_numberless_bool
    \bool_set_false:N \l__crthm_creating_qed_bool
    \bool_set_false:N \l__crthm_creating_create_starred_bool
    \bool_set_false:N \l__crthm_creating_copy_existed_bool
    \keys_set:nn { create-theorem-creating } { #2 }
    \bool_if:NTF \l__crthm_creating_copy_existed_bool
      {
        \__crthm_copy_env:ee { \l__crthm_current_env_tl } { \l__crthm_creating_copy_existed_tl }
        \bool_if:NT \l__crthm_creating_create_starred_bool
          {
            \__crthm_copy_env:ee { \l__crthm_current_env_tl * } { \l__crthm_creating_copy_existed_tl * }
          }
      }
      {
        \cs_if_exist:cTF { #1 }
          {
            \bool_if:NF \l__crthm_creating_quiet_bool
              {
                \msg_warning:nnn  { create-theorem } { env-not-created } { #1 }
              }
          }
          {
            \cs_if_exist:cTF { c@ #1 }
              {
                \IfPackageLoadedTF { ntheorem }
                  {
                    \bool_if:NT \l__crthm_creating_qed_bool
                      {
                        \theoremsymbol { \ensuremath { \l__crthm_creating_qed_tl } }
                      }
                  } {}
                \group_begin:
                \bool_if:NTF \l__crthm_creating_apply_style_bool
                  {
                    \exp_args:No \theoremstyle { \l__crthm_creating_apply_style_tl }
                  }
                  {
                    \tl_if_exist:cT { c_crthm_theorem_style_preset_ #1 _tl }
                      {
                        \exp_args:Nv \theoremstyle { c_crthm_theorem_style_preset_ #1 _tl }
                      }
                  }
                \bool_if:NTF \l__crthm_creating_numberless_bool
                  {
                    \crthm_newtheorem:w*{ #1 _crthm_regional } { \tl_use:c { g_crthm_name_heading_ #1 _ \languagename _tl } }
                  }
                  {
                    \crthm_newtheorem:w { #1 _crthm_regional } [#1] { \tl_use:c { g_crthm_name_heading_ #1 _ \languagename _tl } }
                  }
                \bool_if:NT \l__crthm_creating_create_starred_bool
                  {
                    \crthm_newtheorem:w*{ #1 * } { \tl_use:c { g_crthm_name_heading_ #1 _ \languagename _tl } }
                  }
                \group_end:
                \IfPackageLoadedTF { ntheorem }
                  {
                    \bool_if:NT \l__crthm_creating_qed_bool
                      {
                        \theoremsymbol { }
                      }
                  } {}
                \NewDocumentEnvironment { #1 } { O{} }
                  % In "regionalref" mode, the counter received by the referencing system is "#1 _crthm_regional"
                  % while in "originalref" mode, the counter received is "#1 _crthm_original_\languagename"
                  {
                    \tl_if_blank:nTF { ##1 }
                      {
                        \begin{ #1 _crthm_regional }
                      }
                      {
                        \begin{ #1 _crthm_regional }[{##1}]
                      }
                      \bool_if:NF \l__crthm_regionalref_bool
                        {
                          \addtocounter   { #1 _crthm_original_\languagename } { -1 }
                          \refstepcounter { #1 _crthm_original_\languagename }
                        }
                  }
                  {
                    \end{ #1 _crthm_regional }
                  }
                \keys_set:nn { create-theorem-creating / counter-management } { #2 }

                \IfPackageLoadedTF { amsthm }
                  {
                    \bool_if:NT \l__crthm_creating_qed_bool
                      {
                        \exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl /begin } { crthm } { \cs_set:Npn \qedsymbol { \ensuremath { \l__crthm_creating_qed_tl } } \pushQED{\qed} }
                        \exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl /end } { crthm } { \popQED }
                        \bool_if:NT \l__crthm_creating_create_starred_bool
                          {
                            \exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl * /begin } { crthm } { \cs_set:Npn \qedsymbol { \ensuremath { \l__crthm_creating_qed_tl } } \pushQED{\qed} }
                            \exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl * /end } { crthm } { \popQED }
                          }
                      }
                  } {}
              }
              {
                \msg_error:nnn  { create-theorem } { env-not-named } { #1 }
              }
          }
      }
  }

\cs_new:Nn \__crthm_copy_env:nn
  {
    \cs_set_eq:cc { #1 } { #2 }
    \cs_set_eq:cc { end #1 } { end #2 }
  }
\cs_generate_variant:Nn \__crthm_copy_env:nn { ee }

\cs_new:Nn \crthm_counter_within:nn
  {
    \counterwithin { #1 } { #2 }
  }
\cs_generate_variant:Nn \crthm_counter_within:nn { en }

\cs_new:Nn \crthm_counter_alias:nn
  {
    \cs_if_exist:cTF { c@ #2 }
      {
        \cs_gset_eq:cc { c@ #1 } { c@ #2 }
        \cs_gset_eq:cc { the #1 } { the #2 }
        \cs_gset_eq:cc { theH #1 } { theH #2 }
        \cs_gset_eq:cc { p@ #1 } { p@ #2 }
        \cs_gset_eq:cc { cl@ #1 } { cl@ #2 }
      }
      {
        \@nocounterr { #2 }
      }
  }
\cs_generate_variant:Nn \crthm_counter_alias:nn { en }


\keys_define:nn { create-theorem-setting }
  {
    , name                        .code:n             = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
    , name                        .value_required:n   = true
    , name~style                  .code:n             = { \exp_args:Ne \NameTheorem { \l__crthm_current_env_tl } { #1 } }
    , name~style                  .value_required:n   = true
    , name-style                  .meta:n             = { name~style = { #1 } }
    , name-style                  .value_required:n   = true
    , name style                  .meta:n             = { name~style = { #1 } }
    , name style                  .value_required:n   = true
    , qed                         .code:n             = {
                                                          \exp_args:Nx \hook_gput_code:nnn { env/ \l__crthm_current_env_tl /begin } { crthm } { \cs_set:Npn \qedsymbol { \ensuremath { #1 } } }
                                                        }
    , qed                         .default:n          = \c__crthm_qedsymbol_tl
    , qed~symbol                  .meta:n             = { qed = #1 }
    , qed~symbol                  .default:n          = \c__crthm_qedsymbol_tl
    , qed-symbol                  .meta:n             = { qed = #1 }
    , qed-symbol                  .default:n          = \c__crthm_qedsymbol_tl
    , qed symbol                  .meta:n             = { qed = #1 }
    , qed symbol                  .default:n          = \c__crthm_qedsymbol_tl
    , parent~counter              .code:n             = { \crthm_counter_within:en { \l__crthm_current_env_tl } { #1 } }
    , parent~counter              .value_required:n   = true
    , parent-counter              .meta:n             = { parent~counter = { #1 } }
    , parent-counter              .value_required:n   = true
    , parent counter              .meta:n             = { parent~counter = { #1 } }
    , parent counter              .value_required:n   = true
    , number~within               .meta:n             = { parent~counter = { #1 } }
    , number~within               .value_required:n   = true
    , number-within               .meta:n             = { parent~counter = { #1 } }
    , number-within               .value_required:n   = true
    , number within               .meta:n             = { parent~counter = { #1 } }
    , number within               .value_required:n   = true
    , shared~counter              .code:n             = { \crthm_counter_alias:en { \l__crthm_current_env_tl } { #1 } }
    , shared~counter              .value_required:n   = true
    , shared-counter              .meta:n             = { shared~counter = { #1 } }
    , shared-counter              .value_required:n   = true
    , shared counter              .meta:n             = { shared~counter = { #1 } }
    , shared counter              .value_required:n   = true
    , number~like                 .meta:n             = { shared~counter = { #1 } }
    , number~like                 .value_required:n   = true
    , number-like                 .meta:n             = { shared~counter = { #1 } }
    , number-like                 .value_required:n   = true
    , number like                 .meta:n             = { shared~counter = { #1 } }
    , number like                 .value_required:n   = true
    , unknown                     .code:n             = {}
  }


\NewDocumentCommand \SetTheorem { m m }
  {
    \clist_map_inline:nn { #1 }
      {
        \prop_if_in:NnTF \l_crthm_binding_prop { ##1 }
          {
            \prop_get:NnN \l_crthm_binding_prop { ##1 } \l__crthm_current_env_tl
          }
          {
            \tl_set:Nn \l__crthm_current_env_tl { ##1 }
          }
        \keys_set:nn { create-theorem-setting } { #2 }
      }
  }

\prop_new:N \l_crthm_binding_prop
\NewDocumentCommand \SetTheoremBinding { m m }
  {
    \clist_map_inline:nn { #1 }
      {
        \prop_put:Nxx \l_crthm_binding_prop { ##1 } { #2 }
      }
  }


\bool_if:NF \l__crthm_presetname_bool { \endinput }


%=============================
%   ---  Preset Names  ---
%=============================

\NameTheorem { application }
  {
    , heading =   {
                    , english     = Application
                    , french      = Application
                    , ngerman     = Anwendung
                    , italian     = Applicazione
                    , portuguese  = Aplicação
                    , brazilian   = Aplicação
                    , spanish     = Aplicación
                    , schinese    = 应用
                    , tchinese    = 應用
                    , japanese    = 応用
                    , russian     = Применение
                  }
    , crefname =  {
                    , english     = {application}{applications}
                    , french      = [l']{application}[les]{applications}
                    , ngerman     = { {Anwendung}{Anwendungen}
                                      , Nominativ = [die]{Anwendung}[die]{Anwendungen}
                                      , Genitiv   = [der]{Anwendung}[der]{Anwendungen}
                                      , Dativ     = [der]{Anwendung}[den]{Anwendungen}
                                      , Akkusativ = [die]{Anwendung}[die]{Anwendungen}
                                    }
                    , italian     = [l']{applicazione}[le]{applicazioni}
                    , portuguese  = [a]{aplicação}[as]{aplicações}
                    , brazilian   = [a]{aplicação}[as]{aplicações}
                    , spanish     = [la]{aplicación}[las]{aplicaciones}
                    , schinese    = {应用}{应用}
                    , tchinese    = {應用}{應用}
                    , japanese    = {応用}{応用}
                    , russian     = {применение}{приложения}
                  }
    , Crefname =  {
                    , english     = {Application}{Applications}
                    , french      = [L']{application}[Les]{applications}
                    , ngerman     = { {Anwendung}{Anwendungen}
                                      , Nominativ = [Die]{Anwendung}[Die]{Anwendungen}
                                      , Genitiv   = [Der]{Anwendung}[Der]{Anwendungen}
                                      , Dativ     = [Der]{Anwendung}[Den]{Anwendungen}
                                      , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen}
                                    }
                    , italian     = [L']{applicazione}[Le]{applicazioni}
                    , portuguese  = [A]{aplicação}[As]{aplicações}
                    , brazilian   = [A]{aplicação}[As]{aplicações}
                    , spanish     = [La]{aplicación}[Las]{aplicaciones}
                    , schinese    = {应用}{应用}
                    , tchinese    = {應用}{應用}
                    , japanese    = {応用}{応用}
                    , russian     = {Применение}{Приложения}
                  }
  }

\NameTheorem { assertion }
  {
    , heading =   {
                    , english     = Assertion
                    , french      = Assertion
                    , ngerman     = Assertion
                    , italian     = Asserzione
                    , portuguese  = Asserção
                    , brazilian   = Asserção
                    , spanish     = Aserción
                    , schinese    = 断言
                    , tchinese    = 斷言
                    , japanese    = 断言
                    , russian     = Утверждение
                  }
    , crefname =  {
                    , english     = {assertion}{assertions}
                    , french      = [l']{assertion}[les]{assertions}
                    , ngerman     = { {Assertion}{Assertionen}
                                      , Nominativ = [die]{Assertion}[die]{Assertionen}
                                      , Genitiv   = [der]{Assertion}[der]{Assertionen}
                                      , Dativ     = [der]{Assertion}[den]{Assertionen}
                                      , Akkusativ = [die]{Assertion}[die]{Assertionen}
                                    }
                    , italian     = [l']{asserzione}[le]{asserzioni}
                    , portuguese  = [a]{asserção}[as]{asserções}
                    , brazilian   = [a]{asserção}[as]{asserções}
                    , spanish     = [la]{aserción}[las]{aserciones}
                    , schinese    = {断言}{断言}
                    , tchinese    = {斷言}{斷言}
                    , japanese    = {断言}{断言}
                    , russian     = {утверждение}{утверждения}
                  }
    , Crefname =  {
                    , english     = {Assertion}{Assertions}
                    , french      = [L']{assertion}[Les]{assertions}
                    , ngerman     = { {Assertion}{Assertionen}
                                      , Nominativ = [Die]{Assertion}[Die]{Assertionen}
                                      , Genitiv   = [Der]{Assertion}[Der]{Assertionen}
                                      , Dativ     = [Der]{Assertion}[Den]{Assertionen}
                                      , Akkusativ = [Die]{Assertion}[Die]{Assertionen}
                                    }
                    , italian     = [L']{asserzione}[Le]{asserzioni}
                    , portuguese  = [A]{asserção}[As]{asserções}
                    , brazilian   = [A]{asserção}[As]{asserções}
                    , spanish     = [La]{aserción}[Las]{aserciones}
                    , schinese    = {断言}{断言}
                    , tchinese    = {斷言}{斷言}
                    , japanese    = {断言}{断言}
                    , russian     = {Утверждение}{Утверждения}
                  }
  }

\NameTheorem { assumption }
  {
    , heading =   {
                    , english     = Assumption
                    , french      = Supposition
                    , ngerman     = Annahme
                    , italian     = Supposizione
                    , portuguese  = Suposição
                    , brazilian   = Suposição
                    , spanish     = Suposición
                    , schinese    = 假定
                    , tchinese    = 假定
                    , japanese    = 仮定
                    , russian     = Предположение
                  }
    , crefname =  {
                    , english     = {assumption}{assumptions}
                    , french      = [la]{supposition}[les]{suppositions}
                    , ngerman     = { {Annahme}{Annahmen}
                                      , Nominativ = [die]{Annahme}[die]{Annahmen}
                                      , Genitiv   = [der]{Annahme}[der]{Annahmen}
                                      , Dativ     = [der]{Annahme}[den]{Annahmen}
                                      , Akkusativ = [die]{Annahme}[die]{Annahmen}
                                    }
                    , italian     = [la]{supposizione}[le]{supposizioni}
                    , portuguese  = [a]{suposição}[as]{suposições}
                    , brazilian   = [a]{suposição}[as]{suposições}
                    , spanish     = [la]{suposición}[las]{suposiciones}
                    , schinese    = {假定}{假定}
                    , tchinese    = {假定}{假定}
                    , japanese    = {仮定}{仮定}
                    , russian     = {предположение}{предположения}
                  }
    , Crefname =  {
                    , english     = {Assumption}{Assumptions}
                    , french      = [La]{supposition}[Les]{suppositions}
                    , ngerman     = { {Annahme}{Annahmen}
                                      , Nominativ = [Die]{Annahme}[Die]{Annahmen}
                                      , Genitiv   = [Der]{Annahme}[Der]{Annahmen}
                                      , Dativ     = [Der]{Annahme}[Den]{Annahmen}
                                      , Akkusativ = [Die]{Annahme}[Die]{Annahmen}
                                    }
                    , italian     = [la]{supposizione}[le]{supposizioni}
                    , portuguese  = [A]{suposição}[As]{suposições}
                    , brazilian   = [A]{suposição}[As]{suposições}
                    , spanish     = [La]{suposición}[Las]{suposiciones}
                    , schinese    = {假定}{假定}
                    , tchinese    = {假定}{假定}
                    , japanese    = {仮定}{仮定}
                    , russian     = {Предположение}{Предположения}
                  }
  }

\NameTheorem { axiom }
  {
    , heading =   {
                    , english     = Axiom
                    , french      = Axiome
                    , ngerman     = Axiom
                    , italian     = Assioma
                    , portuguese  = Axioma
                    , brazilian   = Axioma
                    , spanish     = Axioma
                    , schinese    = 公理
                    , tchinese    = 公理
                    , japanese    = 公理
                    , russian     = Аксиома
                  }
    , crefname =  {
                    , english     = {axiom}{axioms}
                    , french      = [l']{axiome}[les]{axiomes}
                    , ngerman     = { {Axiom}{Axiome}
                                      , Nominativ = [das]{Axiom}[die]{Axiome}
                                      , Genitiv   = [des]{Axioms}[der]{Axiome}
                                      , Dativ     = [dem]{Axiom}[den]{Axiomen}
                                      , Akkusativ = [das]{Axiom}[die]{Axiome}
                                    }
                    , italian     = [l']{assioma}[gli]{assiomi}
                    , portuguese  = [o]{axioma}[os]{axiomas}
                    , brazilian   = [o]{axioma}[os]{axiomas}
                    , spanish     = [el]{axioma}[los]{axiomas}
                    , schinese    = {公理}{公理}
                    , tchinese    = {公理}{公理}
                    , japanese    = {公理}{公理}
                    , russian     = {аксиома}{аксиомы}
                  }
    , Crefname =  {
                    , english     = {Axiom}{Axioms}
                    , french      = [L']{axiome}[Les]{axiomes}
                    , ngerman     = { {Axiom}{Axiome}
                                      , Nominativ = [Das]{Axiom}[Die]{Axiome}
                                      , Genitiv   = [Des]{Axioms}[Der]{Axiome}
                                      , Dativ     = [Dem]{Axiom}[Den]{Axiomen}
                                      , Akkusativ = [Das]{Axiom}[Die]{Axiome}
                                    }
                    , italian     = [L']{assioma}[Gli]{assiomi}
                    , portuguese  = [O]{axioma}[Os]{axiomas}
                    , brazilian   = [O]{axioma}[Os]{axiomas}
                    , spanish     = [El]{axioma}[Los]{axiomas}
                    , schinese    = {公理}{公理}
                    , tchinese    = {公理}{公理}
                    , japanese    = {公理}{公理}
                    , russian     = {Аксиома}{Аксиомы}
                  }
  }

\NameTheorem { claim }
  {
    , heading =   {
                    , english     = Claim
                    , french      = Affirmation
                    , ngerman     = Behauptung
                    , italian     = Affermazione
                    , portuguese  = Afirmação
                    , brazilian   = Afirmação
                    , spanish     = Afirmación
                    , schinese    = 断言
                    , tchinese    = 斷言
                    , japanese    = 断言
                    , russian     = Утверждение
                  }
    , crefname =  {
                    , english     = {claim}{claims}
                    , french      = [l']{affirmation}[les]{affirmations}
                    , ngerman     = { {Behauptung}{Behauptungen}
                                      , Nominativ = [die]{Behauptung}[die]{Behauptungen}
                                      , Genitiv   = [der]{Behauptung}[der]{Behauptungen}
                                      , Dativ     = [der]{Behauptung}[den]{Behauptungen}
                                      , Akkusativ = [die]{Behauptung}[die]{Behauptungen}
                                    }
                    , italian     = [l']{affermazione}[le]{affermazioni}
                    , portuguese  = [a]{afirmação}[as]{afirmações}
                    , brazilian   = [a]{afirmação}[as]{afirmações}
                    , spanish     = [la]{afirmación}[las]{afirmaciones}
                    , schinese    = {断言}{断言}
                    , tchinese    = {斷言}{斷言}
                    , japanese    = {断言}{断言}
                    , russian     = {утверждение}{утверждения}
                  }
    , Crefname =  {
                    , english     = {Claim}{Claims}
                    , french      = [L']{affirmation}[Les]{affirmations}
                    , ngerman     = { {Behauptung}{Behauptungen}
                                      , Nominativ = [Die]{Behauptung}[Die]{Behauptungen}
                                      , Genitiv   = [Der]{Behauptung}[Der]{Behauptungen}
                                      , Dativ     = [Der]{Behauptung}[Den]{Behauptungen}
                                      , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen}
                                    }
                    , italian     = [L']{affermazione}[Le]{affermazioni}
                    , portuguese  = [A]{afirmação}[As]{afirmações}
                    , brazilian   = [A]{afirmação}[As]{afirmações}
                    , spanish     = [La]{afirmación}[Las]{afirmaciones}
                    , schinese    = {断言}{断言}
                    , tchinese    = {斷言}{斷言}
                    , japanese    = {断言}{断言}
                    , russian     = {Утверждение}{Утверждения}
                  }
  }

\NameTheorem { conclusion }
  {
    , heading =   {
                    , english     = Conclusion
                    , french      = Conclusion
                    , ngerman     = Schlussfolgerung
                    , italian     = Conclusione
                    , portuguese  = Conclusão
                    , brazilian   = Conclusão
                    , spanish     = Conclusión
                    , schinese    = 结论
                    , tchinese    = 結論
                    , japanese    = 結論
                    , russian     = Вывод
                  }
    , crefname =  {
                    , english     = {conclusion}{conclusions}
                    , french      = [la]{conclusion}[Les]{conclusions}
                    , ngerman     = { {Schlussfolgerung}{Schlussfolgerungen}
                                      , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen}
                                      , Genitiv   = [der]{Schlussfolgerung}[der]{Schlussfolgerungen}
                                      , Dativ     = [der]{Schlussfolgerung}[den]{Schlussfolgerungen}
                                      , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen}
                                    }
                    , italian     = [la]{conclusione}[le]{conclusioni}
                    , portuguese  = [a]{conclusão}[as]{conclusões}
                    , brazilian   = [a]{conclusão}[as]{conclusões}
                    , spanish     = [la]{conclusión}[las]{conclusiones}
                    , schinese    = {结论}{结论}
                    , tchinese    = {結論}{結論}
                    , japanese    = {結論}{結論}
                    , russian     = {вывод}{выводы}
                  }
    , Crefname =  {
                    , english     = {Conclusion}{Conclusions}
                    , french      = [La]{conclusion}[Les]{conclusions}
                    , ngerman     = { {Schlussfolgerung}{Schlussfolgerungen}
                                      , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen}
                                      , Genitiv   = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen}
                                      , Dativ     = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen}
                                      , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen}
                                    }
                    , italian     = [La]{conclusione}[Le]{conclusioni}
                    , portuguese  = [A]{conclusão}[As]{conclusões}
                    , brazilian   = [A]{conclusão}[As]{conclusões}
                    , spanish     = [La]{conclusión}[Las]{conclusiones}
                    , schinese    = {结论}{结论}
                    , tchinese    = {結論}{結論}
                    , japanese    = {結論}{結論}
                    , russian     = {Вывод}{Выводы}
                  }
  }

\NameTheorem { conjecture }
  {
    , heading =   {
                    , english     = Conjecture
                    , french      = Conjecture
                    , ngerman     = Vermutung
                    , italian     = Congettura
                    , portuguese  = Conjetura
                    , brazilian   = Conjectura
                    , spanish     = Conjetura
                    , schinese    = 猜想
                    , tchinese    = 猜想
                    , japanese    = 予想
                    , russian     = Гипотеза
                  }
    , crefname =  {
                    , english     = {conjecture}{conjectures}
                    , french      = [la]{conjecture}[les]{conjectures}
                    , ngerman     = { {Vermutung}{Vermutungen}
                                      , Nominativ = [die]{Vermutung}[die]{Vermutungen}
                                      , Genitiv   = [der]{Vermutung}[der]{Vermutungen}
                                      , Dativ     = [der]{Vermutung}[den]{Vermutungen}
                                      , Akkusativ = [die]{Vermutung}[die]{Vermutungen}
                                    }
                    , italian     = [la]{congettura}[le]{congetture}
                    , portuguese  = [a]{conjetura}[as]{conjeturas}
                    , brazilian   = [a]{conjectura}[as]{conjecturas}
                    , spanish     = [la]{conjetura}[las]{conjeturas}
                    , schinese    = {猜想}{猜想}
                    , tchinese    = {猜想}{猜想}
                    , japanese    = {予想}{予想}
                    , russian     = {гипотеза}{гипотезы}
                  }
    , Crefname =  {
                    , english     = {Conjecture}{Conjectures}
                    , french      = [La]{conjecture}[Les]{conjectures}
                    , ngerman     = { {Vermutung}{Vermutungen}
                                      , Nominativ = [Die]{Vermutung}[Die]{Vermutungen}
                                      , Genitiv   = [Der]{Vermutung}[Der]{Vermutungen}
                                      , Dativ     = [Der]{Vermutung}[Den]{Vermutungen}
                                      , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen}
                                    }
                    , italian     = [La]{congettura}[Le]{congetture}
                    , portuguese  = [A]{conjetura}[As]{conjeturas}
                    , brazilian   = [A]{conjectura}[As]{conjecturas}
                    , spanish     = [La]{conjetura}[Las]{conjeturas}
                    , schinese    = {猜想}{猜想}
                    , tchinese    = {猜想}{猜想}
                    , japanese    = {予想}{予想}
                    , russian     = {Гипотеза}{Гипотезы}
                  }
  }

\NameTheorem { construction }
  {
    , heading =   {
                    , english     = Construction
                    , french      = Construction
                    , ngerman     = Konstruktion
                    , italian     = Costruzione
                    , portuguese  = Construção
                    , brazilian   = Construção
                    , spanish     = Construcción
                    , schinese    = 构造
                    , tchinese    = 構造
                    , japanese    = 構造
                    , russian     = Конструкция
                  }
    , crefname =  {
                    , english     = {construction}{constructions}
                    , french      = [la]{construction}[les]{constructions}
                    , ngerman     = { {Konstruktion}{Konstruktionen}
                                      , Nominativ = [die]{Konstruktion}[die]{Konstruktionen}
                                      , Genitiv   = [der]{Konstruktion}[der]{Konstruktionen}
                                      , Dativ     = [der]{Konstruktion}[den]{Konstruktionen}
                                      , Akkusativ = [die]{Konstruktion}[die]{Konstruktionen}
                                    }
                    , italian     = [la]{costruzione}[le]{costruzioni}
                    , portuguese  = [a]{construção}[as]{construções}
                    , brazilian   = [a]{construção}[as]{construções}
                    , spanish     = [la]{construcción}[las]{construcciones}
                    , schinese    = {构造}{构造}
                    , tchinese    = {構造}{構造}
                    , japanese    = {構造}{構造}
                    , russian     = {конструкция}{конструкции}
                  }
    , Crefname =  {
                    , english     = {Construction}{Constructions}
                    , french      = [La]{construction}[Les]{constructions}
                    , ngerman     = { {Konstruktion}{Konstruktionen}
                                      , Nominativ = [Die]{Konstruktion}[Die]{Konstruktionen}
                                      , Genitiv   = [Der]{Konstruktion}[Der]{Konstruktionen}
                                      , Dativ     = [Der]{Konstruktion}[Den]{Konstruktionen}
                                      , Akkusativ = [Die]{Konstruktion}[Die]{Konstruktionen}
                                    }
                    , italian     = [La]{costruzione}[Le]{costruzioni}
                    , portuguese  = [A]{construção}[As]{construções}
                    , brazilian   = [A]{construção}[As]{construções}
                    , spanish     = [La]{construcción}[Las]{construcciones}
                    , schinese    = {构造}{构造}
                    , tchinese    = {構造}{構造}
                    , japanese    = {構造}{構造}
                    , russian     = {Конструкция}{Конструкции}
                  }
  }

\NameTheorem { convention }
  {
    , heading =   {
                    , english     = Convention
                    , french      = Convention
                    , ngerman     = Konvention
                    , italian     = Convenzione
                    , portuguese  = Convenção
                    , brazilian   = Convenção
                    , spanish     = Convención
                    , schinese    = 约定
                    , tchinese    = 約定
                    , japanese    = 慣例
                    , russian     = Конвенция
                  }
    , crefname =  {
                    , english     = {convention}{conventions}
                    , french      = [la]{convention}[les]{conventions}
                    , ngerman     = { {Konvention}{Konventionen}
                                      , Nominativ = [die]{Konvention}[die]{Konventionen}
                                      , Genitiv   = [der]{Konvention}[der]{Konventionen}
                                      , Dativ     = [der]{Konvention}[den]{Konventionen}
                                      , Akkusativ = [die]{Konvention}[die]{Konventionen}
                                    }
                    , italian     = [la]{convenzione}[le]{convenzioni}
                    , portuguese  = [a]{convenção}[as]{convenções}
                    , brazilian   = [a]{convenção}[as]{convenções}
                    , spanish     = [la]{convención}[las]{convenciones}
                    , schinese    = {约定}{约定}
                    , tchinese    = {約定}{約定}
                    , japanese    = {慣例}{慣例}
                    , russian     = {конвенция}{конвенции}
                  }
    , Crefname =  {
                    , english     = {Convention}{Conventions}
                    , french      = [La]{convention}[Les]{conventions}
                    , ngerman     = { {Konvention}{Konventionen}
                                      , Nominativ = [Die]{Konvention}[Die]{Konventionen}
                                      , Genitiv   = [Der]{Konvention}[Der]{Konventionen}
                                      , Dativ     = [Der]{Konvention}[Den]{Konventionen}
                                      , Akkusativ = [Die]{Konvention}[Die]{Konventionen}
                                    }
                    , italian     = [La]{convenzione}[Le]{convenzioni}
                    , portuguese  = [A]{convenção}[As]{convenções}
                    , brazilian   = [A]{convenção}[As]{convenções}
                    , spanish     = [La]{convención}[Las]{convenciones}
                    , schinese    = {约定}{约定}
                    , tchinese    = {約定}{約定}
                    , japanese    = {慣例}{慣例}
                    , russian     = {Конвенция}{Конвенции}
                  }
  }

\NameTheorem { corollary }
  {
    , heading =   {
                    , english     = Corollary
                    , french      = Corollaire
                    , ngerman     = Korollar
                    , italian     = Corollario
                    , portuguese  = Corolário
                    , brazilian   = Corolário
                    , spanish     = Corolario
                    , schinese    = 推论
                    , tchinese    = 推論
                    , japanese    = 系
                    , russian     = Следствие
                  }
    , crefname =  {
                    , english     = {corollary}{corollaries}
                    , french      = [le]{corollaire}[les]{corollaires}
                    , ngerman     = { {Korollar}{Korollare}
                                      , Nominativ = [das]{Korollar}[die]{Korollare}
                                      , Genitiv   = [des]{Korollars}[der]{Korollare}
                                      , Dativ     = [dem]{Korollar}[den]{Korollaren}
                                      , Akkusativ = [das]{Korollar}[die]{Korollare}
                                    }
                    , italian     = [il]{corollario}[i]{corollari}
                    , portuguese  = [o]{corolário}[os]{corolários}
                    , brazilian   = [o]{corolário}[os]{corolários}
                    , spanish     = [el]{corolario}[los]{corolarios}
                    , schinese    = {推论}{推论}
                    , tchinese    = {推論}{推論}
                    , japanese    = {系}{系}
                    , russian     = {следствие}{следствия}
                  }
    , Crefname =  {
                    , english     = {Corollary}{Corollaries}
                    , french      = [Le]{corollaire}[Les]{corollaires}
                    , ngerman     = { {Korollar}{Korollare}
                                      , Nominativ = [Das]{Korollar}[Die]{Korollare}
                                      , Genitiv   = [Des]{Korollars}[Der]{Korollare}
                                      , Dativ     = [Dem]{Korollar}[Den]{Korollaren}
                                      , Akkusativ = [Das]{Korollar}[Die]{Korollare}
                                    }
                    , italian     = [Il]{corollario}[I]{corollari}
                    , portuguese  = [O]{corolário}[Os]{corolários}
                    , brazilian   = [O]{corolário}[Os]{corolários}
                    , spanish     = [El]{corolario}[Los]{corolarios}
                    , schinese    = {推论}{推论}
                    , tchinese    = {推論}{推論}
                    , japanese    = {系}{系}
                    , russian     = {Следствие}{Следствия}
                  }
  }

\NameTheorem { definition }
  {
    , heading =   {
                    , english     = Definition
                    , french      = Définition
                    , ngerman     = Definition
                    , italian     = Definizione
                    , portuguese  = Definição
                    , brazilian   = Definição
                    , spanish     = Definición
                    , schinese    = 定义
                    , tchinese    = 定義
                    , japanese    = 定義
                    , russian     = Определение
                  }
    , crefname =  {
                    , english     = {definition}{definitions}
                    , french      = [la]{définition}[les]{définitions}
                    , ngerman     = { {Definition}{Definitionen}
                                      , Nominativ = [die]{Definition}[die]{Definitionen}
                                      , Genitiv   = [der]{Definition}[der]{Definitionen}
                                      , Dativ     = [der]{Definition}[den]{Definitionen}
                                      , Akkusativ = [die]{Definition}[die]{Definitionen}
                                    }
                    , italian     = [la]{definizione}[le]{definizioni}
                    , portuguese  = [a]{definição}[as]{definições}
                    , brazilian   = [a]{definição}[as]{definições}
                    , spanish     = [la]{definición}[las]{definiciones}
                    , schinese    = {定义}{定义}
                    , tchinese    = {定義}{定義}
                    , japanese    = {定義}{定義}
                    , russian     = {определение}{определения}
                  }
    , Crefname =  {
                    , english     = {Definition}{Definitions}
                    , french      = [La]{définition}[Les]{définitions}
                    , ngerman     = { {Definition}{Definitionen}
                                      , Nominativ = [Die]{Definition}[Die]{Definitionen}
                                      , Genitiv   = [Der]{Definition}[Der]{Definitionen}
                                      , Dativ     = [Der]{Definition}[Den]{Definitionen}
                                      , Akkusativ = [Die]{Definition}[Die]{Definitionen}
                                    }
                    , italian     = [La]{definizione}[Le]{definizioni}
                    , portuguese  = [A]{definição}[As]{definições}
                    , brazilian   = [A]{definição}[As]{definições}
                    , spanish     = [La]{definición}[Las]{definiciones}
                    , schinese    = {定义}{定义}
                    , tchinese    = {定義}{定義}
                    , japanese    = {定義}{定義}
                    , russian     = {Определение}{Определения}
                  }
  }

\NameTheorem { example }
  {
    , heading =   {
                    , english     = Example
                    , french      = Exemple
                    , ngerman     = Beispiel
                    , italian     = Esempio
                    , portuguese  = Exemplo
                    , brazilian   = Exemplo
                    , spanish     = Ejemplo
                    , schinese    = 例
                    , tchinese    = 例
                    , japanese    = 例
                    , russian     = Пример
                  }
    , crefname =  {
                    , english     = {example}{examples}
                    , french      = [l']{exemple}[les]{exemples}
                    , ngerman     = { {Beispiel}{Beispiele}
                                      , Nominativ = [das]{Beispiel}[die]{Beispiele}
                                      , Genitiv   = [des]{Beispiels}[der]{Beispiele}
                                      , Dativ     = [dem]{Beispiel}[den]{Beispielen}
                                      , Akkusativ = [das]{Beispiel}[die]{Beispiele}
                                    }
                    , italian     = [l']{esempio}[gli]{esempi}
                    , portuguese  = [o]{exemplo}[os]{exemplos}
                    , brazilian   = [o]{exemplo}[os]{exemplos}
                    , spanish     = [el]{ejemplo}[los]{ejemplos}
                    , schinese    = {例}{例}
                    , tchinese    = {例}{例}
                    , japanese    = {例}{例}
                    , russian     = {пример}{примеры}
                  }
    , Crefname =  {
                    , english     = {Example}{Examples}
                    , french      = [L']{exemple}[Les]{exemples}
                    , ngerman     = { {Beispiel}{Beispiele}
                                      , Nominativ = [Das]{Beispiel}[Die]{Beispiele}
                                      , Genitiv   = [Des]{Beispiels}[Der]{Beispiele}
                                      , Dativ     = [Dem]{Beispiel}[Den]{Beispielen}
                                      , Akkusativ = [Das]{Beispiel}[Die]{Beispiele}
                                    }
                    , italian     = [L']{esempio}[Gli]{esempi}
                    , portuguese  = [O]{exemplo}[Os]{exemplos}
                    , brazilian   = [O]{exemplo}[Os]{exemplos}
                    , spanish     = [El]{ejemplo}[Los]{ejemplos}
                    , schinese    = {例}{例}
                    , tchinese    = {例}{例}
                    , japanese    = {例}{例}
                    , russian     = {Пример}{Примеры}
                  }
  }

\NameTheorem { exercise }
  {
    , heading =   {
                    , english     = Exercise
                    , french      = Exercice
                    , ngerman     = Übung
                    , italian     = Esercizio
                    , portuguese  = Exercício
                    , brazilian   = Exercício
                    , spanish     = Ejercicio
                    , schinese    = 练习
                    , tchinese    = 練習
                    , japanese    = 練習
                    , russian     = Упражнение
                  }
    , crefname =  {
                    , english     = {exercise}{exercises}
                    , french      = [l']{exercice}[les]{exercices}
                    , ngerman     = { {Übung}{Übungen}
                                      , Nominativ = [die]{Übung}[die]{Übungen}
                                      , Genitiv   = [der]{Übung}[der]{Übungen}
                                      , Dativ     = [der]{Übung}[den]{Übungen}
                                      , Akkusativ = [die]{Übung}[die]{Übungen}
                                    }
                    , italian     = [l']{esercizio}[gli]{esercizi}
                    , portuguese  = [o]{exercício}[os]{exercícios}
                    , brazilian   = [o]{exercício}[os]{exercícios}
                    , spanish     = [el]{ejercicio}[los]{ejercicios}
                    , schinese    = {练习}{练习}
                    , tchinese    = {練習}{練習}
                    , japanese    = {練習}{練習}
                    , russian     = {упражнение}{упражнения}
                  }
    , Crefname =  {
                    , english     = {Exercise}{Exercises}
                    , french      = [L']{exercice}[Les]{exercices}
                    , ngerman     = { {Übung}{Übungen}
                                      , Nominativ = [Die]{Übung}[Die]{Übungen}
                                      , Genitiv   = [Der]{Übung}[Der]{Übungen}
                                      , Dativ     = [Der]{Übung}[Den]{Übungen}
                                      , Akkusativ = [Die]{Übung}[Die]{Übungen}
                                    }
                    , italian     = [L']{esercizio}[Gli]{esercizi}
                    , portuguese  = [O]{exercício}[Os]{exercícios}
                    , brazilian   = [O]{exercício}[Os]{exercícios}
                    , spanish     = [El]{ejercicio}[Los]{ejercicios}
                    , schinese    = {练习}{练习}
                    , tchinese    = {練習}{練習}
                    , japanese    = {練習}{練習}
                    , russian     = {Упражнение}{Упражнения}
                  }
  }

\NameTheorem { fact }
  {
    , heading =   {
                    , english     = Fact
                    , french      = Fait
                    , ngerman     = Tatsache
                    , italian     = Fatto
                    , portuguese  = Facto
                    , brazilian   = Fato
                    , spanish     = Hecho
                    , schinese    = 事实
                    , tchinese    = 事實
                    , japanese    = 事実
                    , russian     = Факт
                  }
    , crefname =  {
                    , english     = {fact}{facts}
                    , french      = [le]{fait}[les]{faits}
                    , ngerman     = { {Tatsache}{Tatsachen}
                                      , Nominativ = [die]{Tatsache}[die]{Tatsachen}
                                      , Genitiv   = [der]{Tatsache}[der]{Tatsachen}
                                      , Dativ     = [der]{Tatsache}[den]{Tatsachen}
                                      , Akkusativ = [die]{Tatsache}[die]{Tatsachen}
                                    }
                    , italian     = [il]{fatto}[i]{fatti}
                    , portuguese  = [o]{facto}[os]{factos}
                    , brazilian   = [o]{fato}[os]{fatos}
                    , spanish     = [el]{hecho}[los]{hechos}
                    , schinese    = {事实}{事实}
                    , tchinese    = {事實}{事實}
                    , japanese    = {事実}{事実}
                    , russian     = {факт}{факты}
                  }
    , Crefname =  {
                    , english     = {Fact}{Facts}
                    , french      = [Le]{fait}[Les]{faits}
                    , ngerman     = { {Tatsache}{Tatsachen}
                                      , Nominativ = [Die]{Tatsache}[Die]{Tatsachen}
                                      , Genitiv   = [Der]{Tatsache}[Der]{Tatsachen}
                                      , Dativ     = [Der]{Tatsache}[Den]{Tatsachen}
                                      , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen}
                                    }
                    , italian     = [Il]{fatto}[I]{fatti}
                    , portuguese  = [O]{facto}[Os]{factos}
                    , brazilian   = [O]{fato}[Os]{fatos}
                    , spanish     = [El]{hecho}[Los]{hechos}
                    , schinese    = {事实}{事实}
                    , tchinese    = {事實}{事實}
                    , japanese    = {事実}{事実}
                    , russian     = {Факт}{Факты}
                  }
  }

\NameTheorem { hypothesis }
  {
    , heading =   {
                    , english     = Hypothesis
                    , french      = Hypothèse
                    , ngerman     = Hypothese
                    , italian     = Ipotesi
                    , portuguese  = Hipótese
                    , brazilian   = Hipótese
                    , spanish     = Hipótesis
                    , schinese    = 假设
                    , tchinese    = 假設
                    , japanese    = 仮設
                    , russian     = Гипотеза
                  }
    , crefname =  {
                    , english     = {hypothesis}{hypotheses}
                    , french      = [l']{hypothèse}[les]{hypothèses}
                    , ngerman     = { {Hypothese}{Hypothesen}
                                      , Nominativ = [die]{Hypothese}[die]{Hypothesen}
                                      , Genitiv   = [der]{Hypothese}[der]{Hypothesen}
                                      , Dativ     = [der]{Hypothese}[den]{Hypothesen}
                                      , Akkusativ = [die]{Hypothese}[die]{Hypothesen}
                                    }
                    , italian     = [l']{ipotesi}[le]{ipotesi}
                    , portuguese  = [a]{hipótese}[as]{hipóteses}
                    , brazilian   = [a]{hipótese}[as]{hipóteses}
                    , spanish     = [la]{hipótesis}[las]{hipótesis}
                    , schinese    = {假设}{假设}
                    , tchinese    = {假設}{假設}
                    , japanese    = {仮設}{仮設}
                    , russian     = {гипотеза}{гипотезы}
                  }
    , Crefname =  {
                    , english     = {Hypothesis}{Hypotheses}
                    , french      = [L']{hypothèse}[Les]{hypothèses}
                    , ngerman     = { {Hypothese}{Hypothesen}
                                      , Nominativ = [Die]{Hypothese}[Die]{Hypothesen}
                                      , Genitiv   = [Der]{Hypothese}[Der]{Hypothesen}
                                      , Dativ     = [Der]{Hypothese}[Den]{Hypothesen}
                                      , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen}
                                    }
                    , italian     = [L']{ipotesi}[Le]{ipotesi}
                    , portuguese  = [A]{hipótese}[As]{hipóteses}
                    , brazilian   = [A]{hipótese}[As]{hipóteses}
                    , spanish     = [La]{hipótesis}[Las]{hipótesis}
                    , schinese    = {假设}{假设}
                    , tchinese    = {假設}{假設}
                    , japanese    = {仮設}{仮設}
                    , russian     = {Гипотеза}{Гипотезы}
                  }
  }

\NameTheorem { lemma }
  {
    , heading   = {
                    , english     = Lemma
                    , french      = Lemme
                    , ngerman     = Lemma
                    , italian     = Lemma
                    , portuguese  = Lema
                    , brazilian   = Lema
                    , spanish     = Lema
                    , schinese    = 引理
                    , tchinese    = 引理
                    , japanese    = 補題
                    , russian     = Лемма
                  }
    , crefname  = {
                    , english     = {lemma}{Lemmas}
                    , french      = [le]{lemme}[les]{lemmes}
                    , ngerman     = { {Lemma}{Lemmata}
                                      , Nominativ = [das]{Lemma}[die]{Lemmata}
                                      , Genitiv   = [des]{Lemmas}[der]{Lemmata}
                                      , Dativ     = [dem]{Lemma}[den]{Lemmata}
                                      , Akkusativ = [das]{Lemma}[die]{Lemmata}
                                    }
                    , italian     = [il]{lemma}[i]{lemmi}
                    , portuguese  = [o]{lema}[os]{lemas}
                    , brazilian   = [o]{lema}[os]{lemas}
                    , spanish     = [el]{lema}[las]{lemas}
                    , schinese    = {引理}{引理}
                    , tchinese    = {引理}{引理}
                    , japanese    = {補題}{補題}
                    , russian     = {лемма}{леммы}
                  }
    , Crefname  = {
                    , english     = {Lemma}{Lemmas}
                    , french      = [Le]{lemme}[Les]{lemmes}
                    , ngerman     = { {Lemma}{Lemmata}
                                      , Nominativ = [Das]{Lemma}[Die]{Lemmata}
                                      , Genitiv   = [Des]{Lemmas}[Der]{Lemmata}
                                      , Dativ     = [Dem]{Lemma}[Den]{Lemmata}
                                      , Akkusativ = [Das]{Lemma}[Die]{Lemmata}
                                    }
                    , italian     = [Il]{lemma}[I]{lemmi}
                    , portuguese  = [O]{lema}[Os]{lemas}
                    , brazilian   = [O]{lema}[Os]{lemas}
                    , spanish     = [el]{lema}[las]{lemas}
                    , schinese    = {引理}{引理}
                    , tchinese    = {引理}{引理}
                    , japanese    = {補題}{補題}
                    , russian     = {Лемма}{Леммы}
                  }
  }

\NameTheorem { notation }
  {
    , heading =   {
                    , english     = Notation
                    , french      = Notation
                    , ngerman     = Notation
                    , italian     = Notazione
                    , portuguese  = Notação
                    , brazilian   = Notação
                    , spanish     = Notación
                    , schinese    = 记号
                    , tchinese    = 記號
                    , japanese    = 記法
                    , russian     = Нотация
                  }
    , crefname =  {
                    , english     = {notation}{notations}
                    , french      = [la]{notation}[les]{notations}
                    , ngerman     = { {Notation}{Notationen}
                                      , Nominativ = [die]{Notation}[die]{Notationen}
                                      , Genitiv   = [der]{Notation}[der]{Notationen}
                                      , Dativ     = [der]{Notation}[den]{Notationen}
                                      , Akkusativ = [die]{Notation}[die]{Notationen}
                                    }
                    , italian     = [la]{notazione}[le]{notazioni}
                    , portuguese  = [a]{notação}[as]{notações}
                    , brazilian   = [a]{notação}[as]{notações}
                    , spanish     = [la]{notación}[las]{notaciones}
                    , schinese    = {记号}{记号}
                    , tchinese    = {記號}{記號}
                    , japanese    = {記法}{記法}
                    , russian     = {нотация}{нотации}
                  }
    , Crefname =  {
                    , english     = {Notation}{Notations}
                    , french      = [La]{notation}[Les]{notations}
                    , ngerman     = { {Notation}{Notationen}
                                      , Nominativ = [Die]{Notation}[Die]{Notationen}
                                      , Genitiv   = [Der]{Notation}[Der]{Notationen}
                                      , Dativ     = [Der]{Notation}[Den]{Notationen}
                                      , Akkusativ = [Die]{Notation}[Die]{Notationen}
                                    }
                    , italian     = [La]{notazione}[Le]{notazioni}
                    , portuguese  = [A]{notação}[As]{notações}
                    , brazilian   = [A]{notação}[As]{notações}
                    , spanish     = [La]{notación}[Las]{notaciones}
                    , schinese    = {记号}{记号}
                    , tchinese    = {記號}{記號}
                    , japanese    = {記法}{記法}
                    , russian     = {Нотация}{Нотации}
                  }
  }

\NameTheorem { observation }
  {
    , heading =   {
                    , english     = Observation
                    , french      = Observation
                    , ngerman     = Beobachtung
                    , italian     = Osservazione
                    , portuguese  = Observação
                    , brazilian   = Observação
                    , spanish     = Observación
                    , schinese    = 观察
                    , tchinese    = 觀察
                    , japanese    = 観察
                    , russian     = Наблюдение
                  }
    , crefname =  {
                    , english     = {observation}{observations}
                    , french      = [la]{observation}[les]{observations}
                    , ngerman     = { {Beobachtung}{Beobachtungen}
                                      , Nominativ = [die]{Beobachtung}[die]{Beobachtungen}
                                      , Genitiv   = [der]{Beobachtung}[der]{Beobachtungen}
                                      , Dativ     = [der]{Beobachtung}[den]{Beobachtungen}
                                      , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen}
                                    }
                    , italian     = [l']{osservazione}[le]{osservazioni}
                    , portuguese  = [a]{observação}[as]{observações}
                    , brazilian   = [a]{observação}[as]{observações}
                    , spanish     = [la]{observación}[las]{observaciones}
                    , schinese    = {观察}{观察}
                    , tchinese    = {觀察}{觀察}
                    , japanese    = {観察}{観察}
                    , russian     = {наблюдение}{наблюдения}
                  }
    , Crefname =  {
                    , english     = {Observation}{Observations}
                    , french      = [La]{observation}[Les]{observations}
                    , ngerman     = { {Beobachtung}{Beobachtungen}
                                      , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen}
                                      , Genitiv   = [Der]{Beobachtung}[Der]{Beobachtungen}
                                      , Dativ     = [Der]{Beobachtung}[Den]{Beobachtungen}
                                      , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen}
                                    }
                    , italian     = [L']{osservazione}[Le]{osservazioni}
                    , portuguese  = [A]{observação}[As]{observações}
                    , brazilian   = [A]{observação}[As]{observações}
                    , spanish     = [La]{observación}[Las]{observaciones}
                    , schinese    = {观察}{观察}
                    , tchinese    = {觀察}{觀察}
                    , japanese    = {観察}{観察}
                    , russian     = {Наблюдение}{Наблюдения}
                  }
  }

\NameTheorem { postulate }
  {
    , heading =   {
                    , english     = Postulate
                    , french      = Postulat
                    , ngerman     = Postulat
                    , italian     = Postulato
                    , portuguese  = Postulado
                    , brazilian   = Postulado
                    , spanish     = Postulado
                    , schinese    = 公设
                    , tchinese    = 公設
                    , japanese    = 公準
                    , russian     = Постулат
                  }
    , crefname =  {
                    , english     = {postulate}{postulates}
                    , french      = [le]{postulat}[les]{postulats}
                    , ngerman     = { {Postulat}{Postulate}
                                      , Nominativ = [das]{Postulat}[die]{Postulate}
                                      , Genitiv   = [des]{Postulates}[der]{Postulate}
                                      , Dativ     = [dem]{Postulat}[den]{Postulaten}
                                      , Akkusativ = [das]{Postulat}[die]{Postulate}
                                    }
                    , italian     = [il]{postulato}[i]{postulati}
                    , portuguese  = [o]{postulado}[os]{postulados}
                    , brazilian   = [o]{postulado}[os]{postulados}
                    , spanish     = [el]{postulado}[los]{postulados}
                    , schinese    = {公设}{公设}
                    , tchinese    = {公設}{公設}
                    , japanese    = {公準}{公準}
                    , russian     = {постулат}{постулаты}
                  }
    , Crefname =  {
                    , english     = {Postulate}{Postulates}
                    , french      = [Le]{postulat}[Les]{postulats}
                    , ngerman     = { {Postulat}{Postulate}
                                      , Nominativ = [Das]{Postulat}[Die]{Postulate}
                                      , Genitiv   = [Des]{Postulates}[Der]{Postulate}
                                      , Dativ     = [Dem]{Postulat}[Den]{Postulaten}
                                      , Akkusativ = [Das]{Postulat}[Die]{Postulate}
                                    }
                    , italian     = [Il]{postulato}[I]{postulati}
                    , portuguese  = [O]{postulado}[Os]{postulados}
                    , brazilian   = [O]{postulado}[Os]{postulados}
                    , spanish     = [El]{postulado}[Los]{postulados}
                    , schinese    = {公设}{公设}
                    , tchinese    = {公設}{公設}
                    , japanese    = {公準}{公準}
                    , russian     = {Постулат}{Постулаты}
                  }
  }

\NameTheorem { problem }
  {
    , heading =   {
                    , english     = Problem
                    , french      = Problème
                    , ngerman     = Problem
                    , italian     = Problema
                    , portuguese  = Problema
                    , brazilian   = Problema
                    , spanish     = Problema
                    , schinese    = 问题
                    , tchinese    = 問題
                    , japanese    = 問題
                    , russian     = Проблема
                  }
    , crefname =  {
                    , english     = {problem}{problems}
                    , french      = [le]{problème}[les]{problèmes}
                    , ngerman     = { {Problem}{Probleme}
                                      , Nominativ = [das]{Problem}[die]{Probleme}
                                      , Genitiv   = [des]{Problems}[der]{Probleme}
                                      , Dativ     = [dem]{Problem}[den]{Problemen}
                                      , Akkusativ = [das]{Problem}[die]{Probleme}
                                    }
                    , italian     = [il]{problema}[i]{problemi}
                    , portuguese  = [o]{problema}[os]{problemas}
                    , brazilian   = [o]{problema}[os]{problemas}
                    , spanish     = [el]{problema}[los]{problemas}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {проблема}{проблемы}
                  }
    , Crefname =  {
                    , english     = {Problem}{Problems}
                    , french      = [Le]{problème}[Les]{problèmes}
                    , ngerman     = { {Problem}{Probleme}
                                      , Nominativ = [Das]{Problem}[Die]{Probleme}
                                      , Genitiv   = [Des]{Problems}[Der]{Probleme}
                                      , Dativ     = [Dem]{Problem}[Den]{Problemen}
                                      , Akkusativ = [Das]{Problem}[Die]{Probleme}
                                    }
                    , italian     = [Il]{problema}[I]{problemi}
                    , portuguese  = [O]{problema}[Os]{problemas}
                    , brazilian   = [O]{problema}[Os]{problemas}
                    , spanish     = [El]{problema}[Los]{problemas}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {Проблема}{Проблемы}
                  }
  }

\NameTheorem { property }
  {
    , heading =   {
                    , english     = Property
                    , french      = Propriété
                    , ngerman     = Eigenschaft
                    , italian     = Proprietà
                    , portuguese  = Propriedade
                    , brazilian   = Propriedade
                    , spanish     = Propiedad
                    , schinese    = 性质
                    , tchinese    = 性質
                    , japanese    = 性質
                    , russian     = Имущество
                  }
    , crefname =  {
                    , english     = {property}{properties}
                    , french      = [la]{propriété}[les]{propriétés}
                    , ngerman     = { {Eigenschaft}{Eigenschaften}
                                      , Nominativ = [die]{Eigenschaft}[die]{Eigenschaften}
                                      , Genitiv   = [der]{Eigenschaft}[der]{Eigenschaften}
                                      , Dativ     = [der]{Eigenschaft}[den]{Eigenschaften}
                                      , Akkusativ = [die]{Eigenschaft}[die]{Eigenschaften}
                                    }
                    , italian     = [la]{proprietà}[le]{proprietà}
                    , portuguese  = [a]{propriedade}[as]{propriedades}
                    , brazilian   = [a]{propriedade}[as]{propriedades}
                    , spanish     = [la]{propiedad}[las]{propiedades}
                    , schinese    = {性质}{性质}
                    , tchinese    = {性質}{性質}
                    , japanese    = {性質}{性質}
                    , russian     = {имущество}{имущества}
                  }
    , Crefname =  {
                    , english     = {Property}{Properties}
                    , french      = [La]{propriété}[Les]{propriétés}
                    , ngerman     = { {Eigenschaft}{Eigenschaften}
                                      , Nominativ = [Die]{Eigenschaft}[Die]{Eigenschaften}
                                      , Genitiv   = [Der]{Eigenschaft}[Der]{Eigenschaften}
                                      , Dativ     = [Der]{Eigenschaft}[Den]{Eigenschaften}
                                      , Akkusativ = [Die]{Eigenschaft}[Die]{Eigenschaften}
                                    }
                    , italian     = [La]{proprietà}[Le]{proprietà}
                    , portuguese  = [A]{propriedade}[As]{propriedades}
                    , brazilian   = [A]{propriedade}[As]{propriedades}
                    , spanish     = [La]{propiedad}[Las]{propiedades}
                    , schinese    = {性质}{性质}
                    , tchinese    = {性質}{性質}
                    , japanese    = {性質}{性質}
                    , russian     = {Имущество}{Имущества}
                  }
  }

\NameTheorem { proposition }
  {
    , heading =   {
                    , english     = Proposition
                    , french      = Proposition
                    , ngerman     = Proposition
                    , italian     = Proposizione
                    , portuguese  = Proposição
                    , brazilian   = Proposição
                    , spanish     = Proposición
                    , schinese    = 命题
                    , tchinese    = 命題
                    , japanese    = 命題
                    , russian     = Предложение
                  }
    , crefname =  {
                    , english     = {proposition}{propositions}
                    , french      = [la]{proposition}[les]{propositions}
                    , ngerman     = { {Proposition}{Propositionen}
                                      , Nominativ = [die]{Proposition}[die]{Propositionen}
                                      , Genitiv   = [der]{Proposition}[der]{Propositionen}
                                      , Dativ     = [der]{Proposition}[den]{Propositionen}
                                      , Akkusativ = [die]{Proposition}[die]{Propositionen}
                                    }
                    , italian     = [la]{proposizione}[le]{proposte}
                    , portuguese  = [a]{proposição}[as]{proposições}
                    , brazilian   = [a]{proposição}[as]{proposições}
                    , spanish     = [la]{proposición}[las]{proposiciones}
                    , schinese    = {命题}{命题}
                    , tchinese    = {命題}{命題}
                    , japanese    = {命題}{命題}
                    , russian     = {предложение}{предложения}
                  }
    , Crefname =  {
                    , english     = {Proposition}{Propositions}
                    , french      = [La]{proposition}[Les]{propositions}
                    , ngerman     = { {Proposition}{Propositionen}
                                      , Nominativ = [Die]{Proposition}[Die]{Propositionen}
                                      , Genitiv   = [Der]{Proposition}[Der]{Propositionen}
                                      , Dativ     = [Der]{Proposition}[Den]{Propositionen}
                                      , Akkusativ = [Die]{Proposition}[Die]{Propositionen}
                                    }
                    , italian     = [La]{proposizione}[Le]{proposte}
                    , portuguese  = [A]{proposição}[As]{proposições}
                    , brazilian   = [A]{proposição}[As]{proposições}
                    , spanish     = [La]{proposición}[Las]{proposiciones}
                    , schinese    = {命题}{命题}
                    , tchinese    = {命題}{命題}
                    , japanese    = {命題}{命題}
                    , russian     = {Предложение}{Предложения}
                  }
  }

\NameTheorem { question }
  {
    , heading =   {
                    , english     = Question
                    , french      = Question
                    , ngerman     = Frage
                    , italian     = Domanda
                    , portuguese  = Pergunta
                    , brazilian   = Pergunta
                    , spanish     = Pregunta
                    , schinese    = 问题
                    , tchinese    = 問題
                    , japanese    = 問題
                    , russian     = Вопрос
                  }
    , crefname =  {
                    , english     = {question}{questions}
                    , french      = [la]{question}[les]{questions}
                    , ngerman     = { {Frage}{Fragen}
                                      , Nominativ = [die]{Frage}[die]{Fragen}
                                      , Genitiv   = [der]{Frage}[der]{Fragen}
                                      , Dativ     = [der]{Frage}[den]{Fragen}
                                      , Akkusativ = [die]{Frage}[die]{Fragen}
                                    }
                    , italian     = [la]{domanda}[le]{domande}
                    , portuguese  = [a]{pergunta}[as]{perguntas}
                    , brazilian   = [a]{pergunta}[as]{perguntas}
                    , spanish     = [la]{pregunta}[las]{preguntas}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {вопрос}{вопросы}
                  }
    , Crefname =  {
                    , english     = {Question}{Questions}
                    , french      = [La]{question}[Les]{questions}
                    , ngerman     = { {Frage}{Fragen}
                                      , Nominativ = [Die]{Frage}[Die]{Fragen}
                                      , Genitiv   = [Der]{Frage}[Der]{Fragen}
                                      , Dativ     = [Der]{Frage}[Den]{Fragen}
                                      , Akkusativ = [Die]{Frage}[Die]{Fragen}
                                    }
                    , italian     = [La]{domanda}[Le]{domande}
                    , portuguese  = [A]{pergunta}[As]{perguntas}
                    , brazilian   = [A]{pergunta}[As]{perguntas}
                    , spanish     = [La]{pregunta}[Las]{preguntas}
                    , schinese    = {问题}{问题}
                    , tchinese    = {問題}{問題}
                    , japanese    = {問題}{問題}
                    , russian     = {Вопрос}{Вопросы}
                  }
  }

\NameTheorem { recall }
  {
    , heading =   {
                    , english     = Recall
                    , french      = Rappel
                    , ngerman     = Erinnerung
                    , italian     = Richiamo
                    , portuguese  = Recordação
                    , brazilian   = Recordação
                    , spanish     = Recuerdo
                    , schinese    = 回顾
                    , tchinese    = 回顧
                    , japanese    = 回顧
                    , russian     = Напоминание
                  }
    , crefname =  {
                    , english     = {recall}{recalls}
                    , french      = [le]{rappel}[les]{rappels}
                    , ngerman     = { {Erinnerung}{Erinnerungen}
                                      , Nominativ = [die]{Erinnerung}[die]{Erinnerungen}
                                      , Genitiv   = [der]{Erinnerung}[der]{Erinnerungen}
                                      , Dativ     = [der]{Erinnerung}[den]{Erinnerungen}
                                      , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen}
                                    }
                    , italian     = [il]{richiamo}[i]{richiami}
                    , portuguese  = [a]{recordação}[as]{recordações}
                    , brazilian   = [a]{recordação}[as]{recordações}
                    , spanish     = [el]{recuerdo}[los]{recuerdos}
                    , schinese    = {回顾}{回顾}
                    , tchinese    = {回顧}{回顧}
                    , japanese    = {回顧}{回顧}
                    , russian     = {напоминание}{напоминания}
                  }
    , Crefname =  {
                    , english     = {Recall}{Recalls}
                    , french      = [Le]{rappel}[Les]{rappels}
                    , ngerman     = { {Erinnerung}{Erinnerungen}
                                      , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen}
                                      , Genitiv   = [Der]{Erinnerung}[Der]{Erinnerungen}
                                      , Dativ     = [Der]{Erinnerung}[Den]{Erinnerungen}
                                      , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen}
                                    }
                    , italian     = [Il]{richiamo}[I]{richiami}
                    , portuguese  = [A]{recordação}[As]{recordações}
                    , brazilian   = [A]{recordação}[As]{recordações}
                    , spanish     = [El]{recuerdo}[Los]{recuerdos}
                    , schinese    = {回顾}{回顾}
                    , tchinese    = {回顧}{回顧}
                    , japanese    = {回顧}{回顧}
                    , russian     = {Напоминание}{Напоминания}
                  }
  }

\NameTheorem { remark }
  {
    , heading =   {
                    , english     = Remark
                    , french      = Remarque
                    , ngerman     = Bemerkung
                    , italian     = Commento
                    , portuguese  = Comentário
                    , brazilian   = Comentário
                    , spanish     = Comentario
                    , schinese    = 备注
                    , tchinese    = 備註
                    , japanese    = 注釈
                    , russian     = Замечание
                  }
    , crefname =  {
                    , english     = {remark}{remarks}
                    , french      = [la]{remarque}[les]{remarques}
                    , ngerman     = { {Bemerkung}{Bemerkungen}
                                      , Nominativ = [die]{Bemerkung}[die]{Bemerkungen}
                                      , Genitiv   = [der]{Bemerkung}[der]{Bemerkungen}
                                      , Dativ     = [der]{Bemerkung}[den]{Bemerkungen}
                                      , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen}
                                    }
                    , italian     = [il]{commento}[i]{commenti}
                    , portuguese  = [o]{comentário}[os]{comentários}
                    , brazilian   = [o]{comentário}[os]{comentários}
                    , spanish     = [el]{comentario}[los]{comentarios}
                    , schinese    = {备注}{备注}
                    , tchinese    = {備註}{備註}
                    , japanese    = {注釈}{注釈}
                    , russian     = {замечание}{замечания}
                  }
    , Crefname =  {
                    , english     = {Remark}{Remarks}
                    , french      = [La]{remarque}[Les]{remarques}
                    , ngerman     = { {Bemerkung}{Bemerkungen}
                                      , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen}
                                      , Genitiv   = [Der]{Bemerkung}[Der]{Bemerkungen}
                                      , Dativ     = [Der]{Bemerkung}[Den]{Bemerkungen}
                                      , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen}
                                    }
                    , italian     = [Il]{commento}[I]{commenti}
                    , portuguese  = [O]{comentário}[Os]{comentários}
                    , brazilian   = [O]{comentário}[Os]{comentários}
                    , spanish     = [El]{comentario}[Los]{comentarios}
                    , schinese    = {备注}{备注}
                    , tchinese    = {備註}{備註}
                    , japanese    = {注釈}{注釈}
                    , russian     = {Замечание}{Замечания}
                  }
  }

\NameTheorem { theorem }
  {
    , heading =   {
                    , english     = Theorem
                    , french      = Théorème
                    , ngerman     = Satz
                    , italian     = Teorema
                    , portuguese  = Teorema
                    , brazilian   = Teorema
                    , spanish     = Teorema
                    , schinese    = 定理
                    , tchinese    = 定理
                    , japanese    = 定理
                    , russian     = Теорема
                  }
    , crefname =  {
                    , english     = {theorem}{theorems}
                    , french      = [le]{théorème}[les]{théorèmes}
                    , ngerman     = { {Satz}{Sätze}
                                      , Nominativ = [der]{Satz}[die]{Sätze}
                                      , Genitiv   = [des]{Satzes}[der]{Sätze}
                                      , Dativ     = [dem]{Satz}[den]{Sätzen}
                                      , Akkusativ = [den]{Satz}[die]{Sätze}
                                    }
                    , italian     = [il]{teorema}[i]{teoremi}
                    , portuguese  = [o]{teorema}[os]{teoremas}
                    , brazilian   = [o]{teorema}[os]{teoremas}
                    , spanish     = [el]{teorema}[los]{teoremas}
                    , schinese    = {定理}{定理}
                    , tchinese    = {定理}{定理}
                    , japanese    = {定理}{定理}
                    , russian     = {теорема}{теоремы}
                  }
    , Crefname =  {
                    , english     = {Theorem}{Theorems}
                    , french      = [Le]{théorème}[Les]{théorèmes}
                    , ngerman     = { {Satz}{Sätze}
                                      , Nominativ = [Der]{Satz}[Die]{Sätze}
                                      , Genitiv   = [Des]{Satzes}[Der]{Sätze}
                                      , Dativ     = [Dem]{Satz}[Den]{Sätzen}
                                      , Akkusativ = [Den]{Satz}[Die]{Sätze}
                                    }
                    , italian     = [Il]{teorema}[I]{teoremi}
                    , portuguese  = [O]{teorema}[Os]{teoremas}
                    , brazilian   = [O]{teorema}[Os]{teoremas}
                    , spanish     = [El]{teorema}[Los]{teoremas}
                    , schinese    = {定理}{定理}
                    , tchinese    = {定理}{定理}
                    , japanese    = {定理}{定理}
                    , russian     = {Теорема}{Теоремы}
                  }
  }

\NameTheorem { definition-corollary } { combined = { definition ; corollary } }
\NameTheorem { definition-proposition } { combined = { definition ; proposition } }
\NameTheorem { definition-theorem } { combined = { definition ; theorem } }

\NameTheorem { corollary-definition } { combined = { corollary ; definition } }
\NameTheorem { proposition-definition } { combined = { proposition ; definition } }
\NameTheorem { theorem-definition } { combined = { theorem ; definition } }

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