<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% Preset names for use with cleveref

\NameTheorem { application }
  {
    , heading =   {
                    , english     = Application
                    , french      = Application
                    , ngerman     = Anwendung
                    , italian     = Applicazione
                    , portuguese  = AplicaÃ§Ã£o
                    , brazilian   = AplicaÃ§Ã£o
                    , spanish     = AplicaciÃ³n
                    , schinese    = åº”ç”¨
                    , tchinese    = æ‡‰ç”¨
                    , japanese    = å¿œç”¨
                    , russian     = ÐŸÑ€Ð¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {application}{applications}
                    , french      = [l']{application}[les]{applications}
                    , ngerman     = { {Anwendung}{Anwendungen}
                                      , Nominativ = [die]{Anwendung}[die]{Anwendungen}
                                      , Genitiv   = [der]{Anwendung}[der]{Anwendungen}
                                      , Dativ     = [der]{Anwendung}[den]{Anwendungen}
                                      , Akkusativ = [die]{Anwendung}[die]{Anwendungen}
                                    }
                    , italian     = [l']{applicazione}[le]{applicazioni}
                    , portuguese  = [a]{aplicaÃ§Ã£o}[as]{aplicaÃ§Ãµes}
                    , brazilian   = [a]{aplicaÃ§Ã£o}[as]{aplicaÃ§Ãµes}
                    , spanish     = [la]{aplicaciÃ³n}[las]{aplicaciones}
                    , schinese    = {åº”ç”¨}{åº”ç”¨}
                    , tchinese    = {æ‡‰ç”¨}{æ‡‰ç”¨}
                    , japanese    = {å¿œç”¨}{å¿œç”¨}
                    , russian     = {Ð¿Ñ€Ð¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ðµ}{Ð¿Ñ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Application}{Applications}
                    , french      = [L']{application}[Les]{applications}
                    , ngerman     = { {Anwendung}{Anwendungen}
                                      , Nominativ = [Die]{Anwendung}[Die]{Anwendungen}
                                      , Genitiv   = [Der]{Anwendung}[Der]{Anwendungen}
                                      , Dativ     = [Der]{Anwendung}[Den]{Anwendungen}
                                      , Akkusativ = [Die]{Anwendung}[Die]{Anwendungen}
                                    }
                    , italian     = [L']{applicazione}[Le]{applicazioni}
                    , portuguese  = [A]{aplicaÃ§Ã£o}[As]{aplicaÃ§Ãµes}
                    , brazilian   = [A]{aplicaÃ§Ã£o}[As]{aplicaÃ§Ãµes}
                    , spanish     = [La]{aplicaciÃ³n}[Las]{aplicaciones}
                    , schinese    = {åº”ç”¨}{åº”ç”¨}
                    , tchinese    = {æ‡‰ç”¨}{æ‡‰ç”¨}
                    , japanese    = {å¿œç”¨}{å¿œç”¨}
                    , russian     = {ÐŸÑ€Ð¸Ð¼ÐµÐ½ÐµÐ½Ð¸Ðµ}{ÐŸÑ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { assertion }
  {
    , heading =   {
                    , english     = Assertion
                    , french      = Assertion
                    , ngerman     = Assertion
                    , italian     = Asserzione
                    , portuguese  = AsserÃ§Ã£o
                    , brazilian   = AsserÃ§Ã£o
                    , spanish     = AserciÃ³n
                    , schinese    = æ–­è¨€
                    , tchinese    = æ–·è¨€
                    , japanese    = æ–­è¨€
                    , russian     = Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {assertion}{assertions}
                    , french      = [l']{assertion}[les]{assertions}
                    , ngerman     = { {Assertion}{Assertionen}
                                      , Nominativ = [die]{Assertion}[die]{Assertionen}
                                      , Genitiv   = [der]{Assertion}[der]{Assertionen}
                                      , Dativ     = [der]{Assertion}[den]{Assertionen}
                                      , Akkusativ = [die]{Assertion}[die]{Assertionen}
                                    }
                    , italian     = [l']{asserzione}[le]{asserzioni}
                    , portuguese  = [a]{asserÃ§Ã£o}[as]{asserÃ§Ãµes}
                    , brazilian   = [a]{asserÃ§Ã£o}[as]{asserÃ§Ãµes}
                    , spanish     = [la]{aserciÃ³n}[las]{aserciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ðµ}{ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Assertion}{Assertions}
                    , french      = [L']{assertion}[Les]{assertions}
                    , ngerman     = { {Assertion}{Assertionen}
                                      , Nominativ = [Die]{Assertion}[Die]{Assertionen}
                                      , Genitiv   = [Der]{Assertion}[Der]{Assertionen}
                                      , Dativ     = [Der]{Assertion}[Den]{Assertionen}
                                      , Akkusativ = [Die]{Assertion}[Die]{Assertionen}
                                    }
                    , italian     = [L']{asserzione}[Le]{asserzioni}
                    , portuguese  = [A]{asserÃ§Ã£o}[As]{asserÃ§Ãµes}
                    , brazilian   = [A]{asserÃ§Ã£o}[As]{asserÃ§Ãµes}
                    , spanish     = [La]{aserciÃ³n}[Las]{aserciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ðµ}{Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { assumption }
  {
    , heading =   {
                    , english     = Assumption
                    , french      = Supposition
                    , ngerman     = Annahme
                    , italian     = Supposizione
                    , portuguese  = SuposiÃ§Ã£o
                    , brazilian   = SuposiÃ§Ã£o
                    , spanish     = SuposiciÃ³n
                    , schinese    = å‡å®š
                    , tchinese    = å‡å®š
                    , japanese    = ä»®å®š
                    , russian     = ÐŸÑ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {assumption}{assumptions}
                    , french      = [la]{supposition}[les]{suppositions}
                    , ngerman     = { {Annahme}{Annahmen}
                                      , Nominativ = [die]{Annahme}[die]{Annahmen}
                                      , Genitiv   = [der]{Annahme}[der]{Annahmen}
                                      , Dativ     = [der]{Annahme}[den]{Annahmen}
                                      , Akkusativ = [die]{Annahme}[die]{Annahmen}
                                    }
                    , italian     = [la]{supposizione}[le]{supposizioni}
                    , portuguese  = [a]{suposiÃ§Ã£o}[as]{suposiÃ§Ãµes}
                    , brazilian   = [a]{suposiÃ§Ã£o}[as]{suposiÃ§Ãµes}
                    , spanish     = [la]{suposiciÃ³n}[las]{suposiciones}
                    , schinese    = {å‡å®š}{å‡å®š}
                    , tchinese    = {å‡å®š}{å‡å®š}
                    , japanese    = {ä»®å®š}{ä»®å®š}
                    , russian     = {Ð¿Ñ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ}{Ð¿Ñ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Assumption}{Assumptions}
                    , french      = [La]{supposition}[Les]{suppositions}
                    , ngerman     = { {Annahme}{Annahmen}
                                      , Nominativ = [Die]{Annahme}[Die]{Annahmen}
                                      , Genitiv   = [Der]{Annahme}[Der]{Annahmen}
                                      , Dativ     = [Der]{Annahme}[Den]{Annahmen}
                                      , Akkusativ = [Die]{Annahme}[Die]{Annahmen}
                                    }
                    , italian     = [la]{supposizione}[le]{supposizioni}
                    , portuguese  = [A]{suposiÃ§Ã£o}[As]{suposiÃ§Ãµes}
                    , brazilian   = [A]{suposiÃ§Ã£o}[As]{suposiÃ§Ãµes}
                    , spanish     = [La]{suposiciÃ³n}[Las]{suposiciones}
                    , schinese    = {å‡å®š}{å‡å®š}
                    , tchinese    = {å‡å®š}{å‡å®š}
                    , japanese    = {ä»®å®š}{ä»®å®š}
                    , russian     = {ÐŸÑ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ}{ÐŸÑ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { axiom }
  {
    , heading =   {
                    , english     = Axiom
                    , french      = Axiome
                    , ngerman     = Axiom
                    , italian     = Assioma
                    , portuguese  = Axioma
                    , brazilian   = Axioma
                    , spanish     = Axioma
                    , schinese    = å…¬ç†
                    , tchinese    = å…¬ç†
                    , japanese    = å…¬ç†
                    , russian     = ÐÐºÑÐ¸Ð¾Ð¼Ð°
                  }
    , crefname =  {
                    , english     = {axiom}{axioms}
                    , french      = [l']{axiome}[les]{axiomes}
                    , ngerman     = { {Axiom}{Axiome}
                                      , Nominativ = [das]{Axiom}[die]{Axiome}
                                      , Genitiv   = [des]{Axioms}[der]{Axiome}
                                      , Dativ     = [dem]{Axiom}[den]{Axiomen}
                                      , Akkusativ = [das]{Axiom}[die]{Axiome}
                                    }
                    , italian     = [l']{assioma}[gli]{assiomi}
                    , portuguese  = [o]{axioma}[os]{axiomas}
                    , brazilian   = [o]{axioma}[os]{axiomas}
                    , spanish     = [el]{axioma}[los]{axiomas}
                    , schinese    = {å…¬ç†}{å…¬ç†}
                    , tchinese    = {å…¬ç†}{å…¬ç†}
                    , japanese    = {å…¬ç†}{å…¬ç†}
                    , russian     = {Ð°ÐºÑÐ¸Ð¾Ð¼Ð°}{Ð°ÐºÑÐ¸Ð¾Ð¼Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Axiom}{Axioms}
                    , french      = [L']{axiome}[Les]{axiomes}
                    , ngerman     = { {Axiom}{Axiome}
                                      , Nominativ = [Das]{Axiom}[Die]{Axiome}
                                      , Genitiv   = [Des]{Axioms}[Der]{Axiome}
                                      , Dativ     = [Dem]{Axiom}[Den]{Axiomen}
                                      , Akkusativ = [Das]{Axiom}[Die]{Axiome}
                                    }
                    , italian     = [L']{assioma}[Gli]{assiomi}
                    , portuguese  = [O]{axioma}[Os]{axiomas}
                    , brazilian   = [O]{axioma}[Os]{axiomas}
                    , spanish     = [El]{axioma}[Los]{axiomas}
                    , schinese    = {å…¬ç†}{å…¬ç†}
                    , tchinese    = {å…¬ç†}{å…¬ç†}
                    , japanese    = {å…¬ç†}{å…¬ç†}
                    , russian     = {ÐÐºÑÐ¸Ð¾Ð¼Ð°}{ÐÐºÑÐ¸Ð¾Ð¼Ñ‹}
                  }
  }

\NameTheorem { claim }
  {
    , heading =   {
                    , english     = Claim
                    , french      = Affirmation
                    , ngerman     = Behauptung
                    , italian     = Affermazione
                    , portuguese  = AfirmaÃ§Ã£o
                    , brazilian   = AfirmaÃ§Ã£o
                    , spanish     = AfirmaciÃ³n
                    , schinese    = æ–­è¨€
                    , tchinese    = æ–·è¨€
                    , japanese    = æ–­è¨€
                    , russian     = Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {claim}{claims}
                    , french      = [l']{affirmation}[les]{affirmations}
                    , ngerman     = { {Behauptung}{Behauptungen}
                                      , Nominativ = [die]{Behauptung}[die]{Behauptungen}
                                      , Genitiv   = [der]{Behauptung}[der]{Behauptungen}
                                      , Dativ     = [der]{Behauptung}[den]{Behauptungen}
                                      , Akkusativ = [die]{Behauptung}[die]{Behauptungen}
                                    }
                    , italian     = [l']{affermazione}[le]{affermazioni}
                    , portuguese  = [a]{afirmaÃ§Ã£o}[as]{afirmaÃ§Ãµes}
                    , brazilian   = [a]{afirmaÃ§Ã£o}[as]{afirmaÃ§Ãµes}
                    , spanish     = [la]{afirmaciÃ³n}[las]{afirmaciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ðµ}{ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Claim}{Claims}
                    , french      = [L']{affirmation}[Les]{affirmations}
                    , ngerman     = { {Behauptung}{Behauptungen}
                                      , Nominativ = [Die]{Behauptung}[Die]{Behauptungen}
                                      , Genitiv   = [Der]{Behauptung}[Der]{Behauptungen}
                                      , Dativ     = [Der]{Behauptung}[Den]{Behauptungen}
                                      , Akkusativ = [Die]{Behauptung}[Die]{Behauptungen}
                                    }
                    , italian     = [L']{affermazione}[Le]{affermazioni}
                    , portuguese  = [A]{afirmaÃ§Ã£o}[As]{afirmaÃ§Ãµes}
                    , brazilian   = [A]{afirmaÃ§Ã£o}[As]{afirmaÃ§Ãµes}
                    , spanish     = [La]{afirmaciÃ³n}[Las]{afirmaciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ðµ}{Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { commentary }
  {
    , heading =   {
                    , english     = Commentary
                    , french      = Commentaire
                    , ngerman     = Kommentar
                    , italian     = Commento
                    , portuguese  = ComentÃ¡rio
                    , brazilian   = ComentÃ¡rio
                    , spanish     = Comentario
                    , schinese    = è§£è¯´
                    , tchinese    = è§£èªª
                    , japanese    = è§£èª¬ % ã‚³ãƒ¡ãƒ³ãƒˆ
                    , russian     = ÐšÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¹
                  }
    , crefname =  {
                    , english     = {commentary}{commentaries}
                    , french      = [le]{commentaire}[les]{commentaires}
                    , ngerman     = { {Kommentar}{Kommentare}
                                      , Nominativ = [der]{Kommentar}[die]{Kommentare}
                                      , Genitiv   = [des]{Kommentars}[der]{Kommentare}
                                      , Dativ     = [dem]{Kommentar}[den]{Kommentaren}
                                      , Akkusativ = [den]{Kommentar}[die]{Kommentare}
                                    }
                    , italian     = [il]{commento}[i]{commenti}
                    , portuguese  = [o]{comentÃ¡rio}[os]{comentÃ¡rios}
                    , brazilian   = [o]{comentÃ¡rio}[os]{comentÃ¡rios}
                    , spanish     = [el]{comentario}[los]{comentarios}
                    , schinese    = {è§£è¯´}{è§£è¯´}
                    , tchinese    = {è§£èªª}{è§£èªª}
                    , japanese    = {è§£èª¬}{è§£èª¬}
                    , russian     = {ÐºÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¹}{ÐºÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Commentary}{Commentaries}
                    , french      = [Le]{commentaire}[Les]{commentaires}
                    , ngerman     = { {Kommentar}{Kommentare}
                                      , Nominativ = [Der]{Kommentar}[Die]{Kommentare}
                                      , Genitiv   = [Des]{Kommentars}[Der]{Kommentare}
                                      , Dativ     = [Dem]{Kommentar}[Den]{Kommentaren}
                                      , Akkusativ = [Den]{Kommentar}[Die]{Kommentare}
                                    }
                    , italian     = [Il]{commento}[I]{commenti}
                    , portuguese  = [O]{comentÃ¡rio}[Os]{comentÃ¡rios}
                    , brazilian   = [O]{comentÃ¡rio}[Os]{comentÃ¡rios}
                    , spanish     = [El]{comentario}[Los]{comentarios}
                    , schinese    = {è§£è¯´}{è§£è¯´}
                    , tchinese    = {è§£èªª}{è§£èªª}
                    , japanese    = {è§£èª¬}{è§£èª¬}
                    , russian     = {ÐšÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¹}{ÐšÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸}
                  }
  }

\NameTheorem { conclusion }
  {
    , heading =   {
                    , english     = Conclusion
                    , french      = Conclusion
                    , ngerman     = Schlussfolgerung
                    , italian     = Conclusione
                    , portuguese  = ConclusÃ£o
                    , brazilian   = ConclusÃ£o
                    , spanish     = ConclusiÃ³n
                    , schinese    = ç»“è®º
                    , tchinese    = çµè«–
                    , japanese    = çµè«–
                    , russian     = Ð’Ñ‹Ð²Ð¾Ð´
                  }
    , crefname =  {
                    , english     = {conclusion}{conclusions}
                    , french      = [la]{conclusion}[Les]{conclusions}
                    , ngerman     = { {Schlussfolgerung}{Schlussfolgerungen}
                                      , Nominativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen}
                                      , Genitiv   = [der]{Schlussfolgerung}[der]{Schlussfolgerungen}
                                      , Dativ     = [der]{Schlussfolgerung}[den]{Schlussfolgerungen}
                                      , Akkusativ = [die]{Schlussfolgerung}[die]{Schlussfolgerungen}
                                    }
                    , italian     = [la]{conclusione}[le]{conclusioni}
                    , portuguese  = [a]{conclusÃ£o}[as]{conclusÃµes}
                    , brazilian   = [a]{conclusÃ£o}[as]{conclusÃµes}
                    , spanish     = [la]{conclusiÃ³n}[las]{conclusiones}
                    , schinese    = {ç»“è®º}{ç»“è®º}
                    , tchinese    = {çµè«–}{çµè«–}
                    , japanese    = {çµè«–}{çµè«–}
                    , russian     = {Ð²Ñ‹Ð²Ð¾Ð´}{Ð²Ñ‹Ð²Ð¾Ð´Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Conclusion}{Conclusions}
                    , french      = [La]{conclusion}[Les]{conclusions}
                    , ngerman     = { {Schlussfolgerung}{Schlussfolgerungen}
                                      , Nominativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen}
                                      , Genitiv   = [Der]{Schlussfolgerung}[Der]{Schlussfolgerungen}
                                      , Dativ     = [Der]{Schlussfolgerung}[Den]{Schlussfolgerungen}
                                      , Akkusativ = [Die]{Schlussfolgerung}[Die]{Schlussfolgerungen}
                                    }
                    , italian     = [La]{conclusione}[Le]{conclusioni}
                    , portuguese  = [A]{conclusÃ£o}[As]{conclusÃµes}
                    , brazilian   = [A]{conclusÃ£o}[As]{conclusÃµes}
                    , spanish     = [La]{conclusiÃ³n}[Las]{conclusiones}
                    , schinese    = {ç»“è®º}{ç»“è®º}
                    , tchinese    = {çµè«–}{çµè«–}
                    , japanese    = {çµè«–}{çµè«–}
                    , russian     = {Ð’Ñ‹Ð²Ð¾Ð´}{Ð’Ñ‹Ð²Ð¾Ð´Ñ‹}
                  }
  }

\NameTheorem { conjecture }
  {
    , heading =   {
                    , english     = Conjecture
                    , french      = Conjecture
                    , ngerman     = Vermutung
                    , italian     = Congettura
                    , portuguese  = Conjetura
                    , brazilian   = Conjectura
                    , spanish     = Conjetura
                    , schinese    = çŒœæƒ³
                    , tchinese    = çŒœæƒ³
                    , japanese    = äºˆæƒ³
                    , russian     = Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ð°
                  }
    , crefname =  {
                    , english     = {conjecture}{conjectures}
                    , french      = [la]{conjecture}[les]{conjectures}
                    , ngerman     = { {Vermutung}{Vermutungen}
                                      , Nominativ = [die]{Vermutung}[die]{Vermutungen}
                                      , Genitiv   = [der]{Vermutung}[der]{Vermutungen}
                                      , Dativ     = [der]{Vermutung}[den]{Vermutungen}
                                      , Akkusativ = [die]{Vermutung}[die]{Vermutungen}
                                    }
                    , italian     = [la]{congettura}[le]{congetture}
                    , portuguese  = [a]{conjetura}[as]{conjeturas}
                    , brazilian   = [a]{conjectura}[as]{conjecturas}
                    , spanish     = [la]{conjetura}[las]{conjeturas}
                    , schinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , tchinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , japanese    = {äºˆæƒ³}{äºˆæƒ³}
                    , russian     = {Ð³Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ð°}{Ð³Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Conjecture}{Conjectures}
                    , french      = [La]{conjecture}[Les]{conjectures}
                    , ngerman     = { {Vermutung}{Vermutungen}
                                      , Nominativ = [Die]{Vermutung}[Die]{Vermutungen}
                                      , Genitiv   = [Der]{Vermutung}[Der]{Vermutungen}
                                      , Dativ     = [Der]{Vermutung}[Den]{Vermutungen}
                                      , Akkusativ = [Die]{Vermutung}[Die]{Vermutungen}
                                    }
                    , italian     = [La]{congettura}[Le]{congetture}
                    , portuguese  = [A]{conjetura}[As]{conjeturas}
                    , brazilian   = [A]{conjectura}[As]{conjecturas}
                    , spanish     = [La]{conjetura}[Las]{conjeturas}
                    , schinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , tchinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , japanese    = {äºˆæƒ³}{äºˆæƒ³}
                    , russian     = {Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ð°}{Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}
                  }
  }

\NameTheorem { construction }
  {
    , heading =   {
                    , english     = Construction
                    , french      = Construction
                    , ngerman     = Konstruktion
                    , italian     = Costruzione
                    , portuguese  = ConstruÃ§Ã£o
                    , brazilian   = ConstruÃ§Ã£o
                    , spanish     = ConstrucciÃ³n
                    , schinese    = æž„é€&nbsp;
                    , tchinese    = æ§‹é€&nbsp;
                    , japanese    = æ§‹é€&nbsp;
                    , 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    = {æž„é€&nbsp;}{æž„é€&nbsp;}
                    , tchinese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , japanese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , 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    = {æž„é€&nbsp;}{æž„é€&nbsp;}
                    , tchinese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , japanese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , 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    = ä¹&nbsp;é¢˜
                    , 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    = {ä¹&nbsp;é¢˜}{ä¹&nbsp;é¢˜}
                    , 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    = {ä¹&nbsp;é¢˜}{ä¹&nbsp;é¢˜}
                    , tchinese    = {ç¿’é¡Œ}{ç¿’é¡Œ}
                    , japanese    = {ç·´ç¿’}{ç·´ç¿’}
                    , russian     = {Ð£Ð¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ðµ}{Ð£Ð¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { fact }
  {
    , heading =   {
                    , english     = Fact
                    , french      = Fait
                    , ngerman     = Tatsache
                    , italian     = Fatto
                    , portuguese  = Facto
                    , brazilian   = Fato
                    , spanish     = Hecho
                    , schinese    = äº‹å®ž
                    , tchinese    = äº‹å¯¦
                    , japanese    = äº‹å®Ÿ
                    , russian     = Ð¤Ð°ÐºÑ‚
                  }
    , crefname =  {
                    , english     = {fact}{facts}
                    , french      = [le]{fait}[les]{faits}
                    , ngerman     = { {Tatsache}{Tatsachen}
                                      , Nominativ = [die]{Tatsache}[die]{Tatsachen}
                                      , Genitiv   = [der]{Tatsache}[der]{Tatsachen}
                                      , Dativ     = [der]{Tatsache}[den]{Tatsachen}
                                      , Akkusativ = [die]{Tatsache}[die]{Tatsachen}
                                    }
                    , italian     = [il]{fatto}[i]{fatti}
                    , portuguese  = [o]{facto}[os]{factos}
                    , brazilian   = [o]{fato}[os]{fatos}
                    , spanish     = [el]{hecho}[los]{hechos}
                    , schinese    = {äº‹å®ž}{äº‹å®ž}
                    , tchinese    = {äº‹å¯¦}{äº‹å¯¦}
                    , japanese    = {äº‹å®Ÿ}{äº‹å®Ÿ}
                    , russian     = {Ñ„Ð°ÐºÑ‚}{Ñ„Ð°ÐºÑ‚Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Fact}{Facts}
                    , french      = [Le]{fait}[Les]{faits}
                    , ngerman     = { {Tatsache}{Tatsachen}
                                      , Nominativ = [Die]{Tatsache}[Die]{Tatsachen}
                                      , Genitiv   = [Der]{Tatsache}[Der]{Tatsachen}
                                      , Dativ     = [Der]{Tatsache}[Den]{Tatsachen}
                                      , Akkusativ = [Die]{Tatsache}[Die]{Tatsachen}
                                    }
                    , italian     = [Il]{fatto}[I]{fatti}
                    , portuguese  = [O]{facto}[Os]{factos}
                    , brazilian   = [O]{fato}[Os]{fatos}
                    , spanish     = [El]{hecho}[Los]{hechos}
                    , schinese    = {äº‹å®ž}{äº‹å®ž}
                    , tchinese    = {äº‹å¯¦}{äº‹å¯¦}
                    , japanese    = {äº‹å®Ÿ}{äº‹å®Ÿ}
                    , russian     = {Ð¤Ð°ÐºÑ‚}{Ð¤Ð°ÐºÑ‚Ñ‹}
                  }
  }

\NameTheorem { hypothesis }
  {
    , heading =   {
                    , english     = Hypothesis
                    , french      = HypothÃ¨se
                    , ngerman     = Hypothese
                    , italian     = Ipotesi
                    , portuguese  = HipÃ³tese
                    , brazilian   = HipÃ³tese
                    , spanish     = HipÃ³tesis
                    , schinese    = å‡è®¾
                    , tchinese    = å‡è¨­
                    , japanese    = ä»®è¨­
                    , russian     = Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ð°
                  }
    , crefname =  {
                    , english     = {hypothesis}{hypotheses}
                    , french      = [l']{hypothÃ¨se}[les]{hypothÃ¨ses}
                    , ngerman     = { {Hypothese}{Hypothesen}
                                      , Nominativ = [die]{Hypothese}[die]{Hypothesen}
                                      , Genitiv   = [der]{Hypothese}[der]{Hypothesen}
                                      , Dativ     = [der]{Hypothese}[den]{Hypothesen}
                                      , Akkusativ = [die]{Hypothese}[die]{Hypothesen}
                                    }
                    , italian     = [l']{ipotesi}[le]{ipotesi}
                    , portuguese  = [a]{hipÃ³tese}[as]{hipÃ³teses}
                    , brazilian   = [a]{hipÃ³tese}[as]{hipÃ³teses}
                    , spanish     = [la]{hipÃ³tesis}[las]{hipÃ³tesis}
                    , schinese    = {å‡è®¾}{å‡è®¾}
                    , tchinese    = {å‡è¨­}{å‡è¨­}
                    , japanese    = {ä»®è¨­}{ä»®è¨­}
                    , russian     = {Ð³Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ð°}{Ð³Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Hypothesis}{Hypotheses}
                    , french      = [L']{hypothÃ¨se}[Les]{hypothÃ¨ses}
                    , ngerman     = { {Hypothese}{Hypothesen}
                                      , Nominativ = [Die]{Hypothese}[Die]{Hypothesen}
                                      , Genitiv   = [Der]{Hypothese}[Der]{Hypothesen}
                                      , Dativ     = [Der]{Hypothese}[Den]{Hypothesen}
                                      , Akkusativ = [Die]{Hypothese}[Die]{Hypothesen}
                                    }
                    , italian     = [L']{ipotesi}[Le]{ipotesi}
                    , portuguese  = [A]{hipÃ³tese}[As]{hipÃ³teses}
                    , brazilian   = [A]{hipÃ³tese}[As]{hipÃ³teses}
                    , spanish     = [La]{hipÃ³tesis}[Las]{hipÃ³tesis}
                    , schinese    = {å‡è®¾}{å‡è®¾}
                    , tchinese    = {å‡è¨­}{å‡è¨­}
                    , japanese    = {ä»®è¨­}{ä»®è¨­}
                    , russian     = {Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ð°}{Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}
                  }
  }

\NameTheorem { lemma }
  {
    , heading   = {
                    , english     = Lemma
                    , french      = Lemme
                    , ngerman     = Lemma
                    , italian     = Lemma
                    , portuguese  = Lema
                    , brazilian   = Lema
                    , spanish     = Lema
                    , schinese    = å¼•ç†
                    , tchinese    = å¼•ç†
                    , japanese    = è£œé¡Œ
                    , russian     = Ð›ÐµÐ¼Ð¼Ð°
                  }
    , crefname  = {
                    , english     = {lemma}{Lemmas}
                    , french      = [le]{lemme}[les]{lemmes}
                    , ngerman     = { {Lemma}{Lemmata}
                                      , Nominativ = [das]{Lemma}[die]{Lemmata}
                                      , Genitiv   = [des]{Lemmas}[der]{Lemmata}
                                      , Dativ     = [dem]{Lemma}[den]{Lemmata}
                                      , Akkusativ = [das]{Lemma}[die]{Lemmata}
                                    }
                    , italian     = [il]{lemma}[i]{lemmi}
                    , portuguese  = [o]{lema}[os]{lemas}
                    , brazilian   = [o]{lema}[os]{lemas}
                    , spanish     = [el]{lema}[las]{lemas}
                    , schinese    = {å¼•ç†}{å¼•ç†}
                    , tchinese    = {å¼•ç†}{å¼•ç†}
                    , japanese    = {è£œé¡Œ}{è£œé¡Œ}
                    , russian     = {Ð»ÐµÐ¼Ð¼Ð°}{Ð»ÐµÐ¼Ð¼Ñ‹}
                  }
    , Crefname  = {
                    , english     = {Lemma}{Lemmas}
                    , french      = [Le]{lemme}[Les]{lemmes}
                    , ngerman     = { {Lemma}{Lemmata}
                                      , Nominativ = [Das]{Lemma}[Die]{Lemmata}
                                      , Genitiv   = [Des]{Lemmas}[Der]{Lemmata}
                                      , Dativ     = [Dem]{Lemma}[Den]{Lemmata}
                                      , Akkusativ = [Das]{Lemma}[Die]{Lemmata}
                                    }
                    , italian     = [Il]{lemma}[I]{lemmi}
                    , portuguese  = [O]{lema}[Os]{lemas}
                    , brazilian   = [O]{lema}[Os]{lemas}
                    , spanish     = [el]{lema}[las]{lemas}
                    , schinese    = {å¼•ç†}{å¼•ç†}
                    , tchinese    = {å¼•ç†}{å¼•ç†}
                    , japanese    = {è£œé¡Œ}{è£œé¡Œ}
                    , russian     = {Ð›ÐµÐ¼Ð¼Ð°}{Ð›ÐµÐ¼Ð¼Ñ‹}
                  }
  }

\NameTheorem { motivation }
  {
    , heading =   {
                    , english     = Motivation
                    , french      = Motivation
                    , ngerman     = Motivation
                    , italian     = Motivazione
                    , portuguese  = MotivaÃ§Ã£o
                    , brazilian   = MotivaÃ§Ã£o
                    , spanish     = Motivacion
                    , schinese    = åŠ¨æœº
                    , tchinese    = å‹•æ©Ÿ
                    , japanese    = å‹•æ©Ÿ % ãƒ¢ãƒãƒ™ãƒ¼ã‚·ãƒ§ãƒ³
                    , russian     = ÐœÐ¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {motivation}{motivations}
                    , french      = [la]{motivation}[les]{motivations}
                    , ngerman     = { {Motivation}{Motivationen}
                                      , Nominativ = [die]{Motivation}[die]{Motivationen}
                                      , Genitiv   = [der]{Motivation}[der]{Motivationen}
                                      , Dativ     = [der]{Motivation}[den]{Motivationen}
                                      , Akkusativ = [die]{Motivation}[die]{Motivationen}
                                    }
                    , italian     = [la]{motivazione}[le]{motivazioni}
                    , portuguese  = [a]{motivaÃ§Ã£o}[as]{motivaÃ§Ãµes}
                    , brazilian   = [a]{motivaÃ§Ã£o}[as]{motivaÃ§Ãµes}
                    , spanish     = [la]{motivacion}[las]{motivaciones}
                    , schinese    = {åŠ¨æœº}{åŠ¨æœº}
                    , tchinese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , japanese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , russian     = {Ð¼Ð¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ñ}{Ð¼Ð¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Motivation}{Motivations}
                    , french      = [La]{motivation}[Les]{motivations}
                    , ngerman     = { {Motivation}{Motivationen}
                                      , Nominativ = [Die]{Motivation}[Die]{Motivationen}
                                      , Genitiv   = [Der]{Motivation}[Der]{Motivationen}
                                      , Dativ     = [Der]{Motivation}[Den]{Motivationen}
                                      , Akkusativ = [Die]{Motivation}[Die]{Motivationen}
                                    }
                    , italian     = [La]{motivazione}[Le]{motivazioni}
                    , portuguese  = [A]{motivaÃ§Ã£o}[As]{motivaÃ§Ãµes}
                    , brazilian   = [A]{motivaÃ§Ã£o}[As]{motivaÃ§Ãµes}
                    , spanish     = [La]{motivacion}[Las]{motivaciones}
                    , schinese    = {åŠ¨æœº}{åŠ¨æœº}
                    , tchinese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , japanese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , russian     = {ÐœÐ¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ñ}{ÐœÐ¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸}
                  }
  }

\NameTheorem { notation }
  {
    , heading =   {
                    , english     = Notation
                    , french      = Notation
                    , ngerman     = Notation
                    , italian     = Notazione
                    , portuguese  = NotaÃ§Ã£o
                    , brazilian   = NotaÃ§Ã£o
                    , spanish     = NotaciÃ³n
                    , schinese    = è®°å·
                    , tchinese    = è¨˜è™Ÿ
                    , japanese    = è¨˜æ³•
                    , russian     = ÐÐ¾Ñ‚Ð°Ñ†Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {notation}{notations}
                    , french      = [la]{notation}[les]{notations}
                    , ngerman     = { {Notation}{Notationen}
                                      , Nominativ = [die]{Notation}[die]{Notationen}
                                      , Genitiv   = [der]{Notation}[der]{Notationen}
                                      , Dativ     = [der]{Notation}[den]{Notationen}
                                      , Akkusativ = [die]{Notation}[die]{Notationen}
                                    }
                    , italian     = [la]{notazione}[le]{notazioni}
                    , portuguese  = [a]{notaÃ§Ã£o}[as]{notaÃ§Ãµes}
                    , brazilian   = [a]{notaÃ§Ã£o}[as]{notaÃ§Ãµes}
                    , spanish     = [la]{notaciÃ³n}[las]{notaciones}
                    , schinese    = {è®°å·}{è®°å·}
                    , tchinese    = {è¨˜è™Ÿ}{è¨˜è™Ÿ}
                    , japanese    = {è¨˜æ³•}{è¨˜æ³•}
                    , russian     = {Ð½Ð¾Ñ‚Ð°Ñ†Ð¸Ñ}{Ð½Ð¾Ñ‚Ð°Ñ†Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Notation}{Notations}
                    , french      = [La]{notation}[Les]{notations}
                    , ngerman     = { {Notation}{Notationen}
                                      , Nominativ = [Die]{Notation}[Die]{Notationen}
                                      , Genitiv   = [Der]{Notation}[Der]{Notationen}
                                      , Dativ     = [Der]{Notation}[Den]{Notationen}
                                      , Akkusativ = [Die]{Notation}[Die]{Notationen}
                                    }
                    , italian     = [La]{notazione}[Le]{notazioni}
                    , portuguese  = [A]{notaÃ§Ã£o}[As]{notaÃ§Ãµes}
                    , brazilian   = [A]{notaÃ§Ã£o}[As]{notaÃ§Ãµes}
                    , spanish     = [La]{notaciÃ³n}[Las]{notaciones}
                    , schinese    = {è®°å·}{è®°å·}
                    , tchinese    = {è¨˜è™Ÿ}{è¨˜è™Ÿ}
                    , japanese    = {è¨˜æ³•}{è¨˜æ³•}
                    , russian     = {ÐÐ¾Ñ‚Ð°Ñ†Ð¸Ñ}{ÐÐ¾Ñ‚Ð°Ñ†Ð¸Ð¸}
                  }
  }

\NameTheorem { observation }
  {
    , heading =   {
                    , english     = Observation
                    , french      = Observation
                    , ngerman     = Beobachtung
                    , italian     = Osservazione
                    , portuguese  = ObservaÃ§Ã£o
                    , brazilian   = ObservaÃ§Ã£o
                    , spanish     = ObservaciÃ³n
                    , schinese    = è§‚å¯Ÿ
                    , tchinese    = è§€å¯Ÿ
                    , japanese    = è¦³å¯Ÿ
                    , russian     = ÐÐ°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {observation}{observations}
                    , french      = [la]{observation}[les]{observations}
                    , ngerman     = { {Beobachtung}{Beobachtungen}
                                      , Nominativ = [die]{Beobachtung}[die]{Beobachtungen}
                                      , Genitiv   = [der]{Beobachtung}[der]{Beobachtungen}
                                      , Dativ     = [der]{Beobachtung}[den]{Beobachtungen}
                                      , Akkusativ = [die]{Beobachtung}[die]{Beobachtungen}
                                    }
                    , italian     = [l']{osservazione}[le]{osservazioni}
                    , portuguese  = [a]{observaÃ§Ã£o}[as]{observaÃ§Ãµes}
                    , brazilian   = [a]{observaÃ§Ã£o}[as]{observaÃ§Ãµes}
                    , spanish     = [la]{observaciÃ³n}[las]{observaciones}
                    , schinese    = {è§‚å¯Ÿ}{è§‚å¯Ÿ}
                    , tchinese    = {è§€å¯Ÿ}{è§€å¯Ÿ}
                    , japanese    = {è¦³å¯Ÿ}{è¦³å¯Ÿ}
                    , russian     = {Ð½Ð°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ðµ}{Ð½Ð°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Observation}{Observations}
                    , french      = [La]{observation}[Les]{observations}
                    , ngerman     = { {Beobachtung}{Beobachtungen}
                                      , Nominativ = [Die]{Beobachtung}[Die]{Beobachtungen}
                                      , Genitiv   = [Der]{Beobachtung}[Der]{Beobachtungen}
                                      , Dativ     = [Der]{Beobachtung}[Den]{Beobachtungen}
                                      , Akkusativ = [Die]{Beobachtung}[Die]{Beobachtungen}
                                    }
                    , italian     = [L']{osservazione}[Le]{osservazioni}
                    , portuguese  = [A]{observaÃ§Ã£o}[As]{observaÃ§Ãµes}
                    , brazilian   = [A]{observaÃ§Ã£o}[As]{observaÃ§Ãµes}
                    , spanish     = [La]{observaciÃ³n}[Las]{observaciones}
                    , schinese    = {è§‚å¯Ÿ}{è§‚å¯Ÿ}
                    , tchinese    = {è§€å¯Ÿ}{è§€å¯Ÿ}
                    , japanese    = {è¦³å¯Ÿ}{è¦³å¯Ÿ}
                    , russian     = {ÐÐ°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ðµ}{ÐÐ°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { postulate }
  {
    , heading =   {
                    , english     = Postulate
                    , french      = Postulat
                    , ngerman     = Postulat
                    , italian     = Postulato
                    , portuguese  = Postulado
                    , brazilian   = Postulado
                    , spanish     = Postulado
                    , schinese    = å…¬è®¾
                    , tchinese    = å…¬è¨­
                    , japanese    = å…¬æº–
                    , russian     = ÐŸÐ¾ÑÑ‚ÑƒÐ»Ð°Ñ‚
                  }
    , crefname =  {
                    , english     = {postulate}{postulates}
                    , french      = [le]{postulat}[les]{postulats}
                    , ngerman     = { {Postulat}{Postulate}
                                      , Nominativ = [das]{Postulat}[die]{Postulate}
                                      , Genitiv   = [des]{Postulates}[der]{Postulate}
                                      , Dativ     = [dem]{Postulat}[den]{Postulaten}
                                      , Akkusativ = [das]{Postulat}[die]{Postulate}
                                    }
                    , italian     = [il]{postulato}[i]{postulati}
                    , portuguese  = [o]{postulado}[os]{postulados}
                    , brazilian   = [o]{postulado}[os]{postulados}
                    , spanish     = [el]{postulado}[los]{postulados}
                    , schinese    = {å…¬è®¾}{å…¬è®¾}
                    , tchinese    = {å…¬è¨­}{å…¬è¨­}
                    , japanese    = {å…¬æº–}{å…¬æº–}
                    , russian     = {Ð¿Ð¾ÑÑ‚ÑƒÐ»Ð°Ñ‚}{Ð¿Ð¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Postulate}{Postulates}
                    , french      = [Le]{postulat}[Les]{postulats}
                    , ngerman     = { {Postulat}{Postulate}
                                      , Nominativ = [Das]{Postulat}[Die]{Postulate}
                                      , Genitiv   = [Des]{Postulates}[Der]{Postulate}
                                      , Dativ     = [Dem]{Postulat}[Den]{Postulaten}
                                      , Akkusativ = [Das]{Postulat}[Die]{Postulate}
                                    }
                    , italian     = [Il]{postulato}[I]{postulati}
                    , portuguese  = [O]{postulado}[Os]{postulados}
                    , brazilian   = [O]{postulado}[Os]{postulados}
                    , spanish     = [El]{postulado}[Los]{postulados}
                    , schinese    = {å…¬è®¾}{å…¬è®¾}
                    , tchinese    = {å…¬è¨­}{å…¬è¨­}
                    , japanese    = {å…¬æº–}{å…¬æº–}
                    , russian     = {ÐŸÐ¾ÑÑ‚ÑƒÐ»Ð°Ñ‚}{ÐŸÐ¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹}
                  }
  }

\NameTheorem { problem }
  {
    , heading =   {
                    , english     = Problem
                    , french      = ProblÃ¨me
                    , ngerman     = Problem
                    , italian     = Problema
                    , portuguese  = Problema
                    , brazilian   = Problema
                    , spanish     = Problema
                    , schinese    = é—®é¢˜
                    , tchinese    = å•é¡Œ
                    , japanese    = å•é¡Œ
                    , russian     = ÐŸÑ€Ð¾Ð±Ð»ÐµÐ¼Ð°
                  }
    , crefname =  {
                    , english     = {problem}{problems}
                    , french      = [le]{problÃ¨me}[les]{problÃ¨mes}
                    , ngerman     = { {Problem}{Probleme}
                                      , Nominativ = [das]{Problem}[die]{Probleme}
                                      , Genitiv   = [des]{Problems}[der]{Probleme}
                                      , Dativ     = [dem]{Problem}[den]{Problemen}
                                      , Akkusativ = [das]{Problem}[die]{Probleme}
                                    }
                    , italian     = [il]{problema}[i]{problemi}
                    , portuguese  = [o]{problema}[os]{problemas}
                    , brazilian   = [o]{problema}[os]{problemas}
                    , spanish     = [el]{problema}[los]{problemas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {Ð¿Ñ€Ð¾Ð±Ð»ÐµÐ¼Ð°}{Ð¿Ñ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Problem}{Problems}
                    , french      = [Le]{problÃ¨me}[Les]{problÃ¨mes}
                    , ngerman     = { {Problem}{Probleme}
                                      , Nominativ = [Das]{Problem}[Die]{Probleme}
                                      , Genitiv   = [Des]{Problems}[Der]{Probleme}
                                      , Dativ     = [Dem]{Problem}[Den]{Problemen}
                                      , Akkusativ = [Das]{Problem}[Die]{Probleme}
                                    }
                    , italian     = [Il]{problema}[I]{problemi}
                    , portuguese  = [O]{problema}[Os]{problemas}
                    , brazilian   = [O]{problema}[Os]{problemas}
                    , spanish     = [El]{problema}[Los]{problemas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {ÐŸÑ€Ð¾Ð±Ð»ÐµÐ¼Ð°}{ÐŸÑ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹}
                  }
  }

\NameTheorem { property }
  {
    , heading =   {
                    , english     = Property
                    , french      = PropriÃ©tÃ©
                    , ngerman     = Eigenschaft
                    , italian     = ProprietÃ&nbsp;
                    , 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Ã&nbsp;}[le]{proprietÃ&nbsp;}
                    , 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Ã&nbsp;}[Le]{proprietÃ&nbsp;}
                    , portuguese  = [A]{propriedade}[As]{propriedades}
                    , brazilian   = [A]{propriedade}[As]{propriedades}
                    , spanish     = [La]{propiedad}[Las]{propiedades}
                    , schinese    = {æ€§è´¨}{æ€§è´¨}
                    , tchinese    = {æ€§è³ª}{æ€§è³ª}
                    , japanese    = {æ€§è³ª}{æ€§è³ª}
                    , russian     = {Ð˜Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð¾}{Ð˜Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð°}
                  }
  }

\NameTheorem { proposition }
  {
    , heading =   {
                    , english     = Proposition
                    , french      = Proposition
                    , ngerman     = Proposition
                    , italian     = Proposizione
                    , portuguese  = ProposiÃ§Ã£o
                    , brazilian   = ProposiÃ§Ã£o
                    , spanish     = ProposiciÃ³n
                    , schinese    = å‘½é¢˜
                    , tchinese    = å‘½é¡Œ
                    , japanese    = å‘½é¡Œ
                    , russian     = ÐŸÑ€ÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {proposition}{propositions}
                    , french      = [la]{proposition}[les]{propositions}
                    , ngerman     = { {Proposition}{Propositionen}
                                      , Nominativ = [die]{Proposition}[die]{Propositionen}
                                      , Genitiv   = [der]{Proposition}[der]{Propositionen}
                                      , Dativ     = [der]{Proposition}[den]{Propositionen}
                                      , Akkusativ = [die]{Proposition}[die]{Propositionen}
                                    }
                    , italian     = [la]{proposizione}[le]{proposte}
                    , portuguese  = [a]{proposiÃ§Ã£o}[as]{proposiÃ§Ãµes}
                    , brazilian   = [a]{proposiÃ§Ã£o}[as]{proposiÃ§Ãµes}
                    , spanish     = [la]{proposiciÃ³n}[las]{proposiciones}
                    , schinese    = {å‘½é¢˜}{å‘½é¢˜}
                    , tchinese    = {å‘½é¡Œ}{å‘½é¡Œ}
                    , japanese    = {å‘½é¡Œ}{å‘½é¡Œ}
                    , russian     = {Ð¿Ñ€ÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ}{Ð¿Ñ€ÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Proposition}{Propositions}
                    , french      = [La]{proposition}[Les]{propositions}
                    , ngerman     = { {Proposition}{Propositionen}
                                      , Nominativ = [Die]{Proposition}[Die]{Propositionen}
                                      , Genitiv   = [Der]{Proposition}[Der]{Propositionen}
                                      , Dativ     = [Der]{Proposition}[Den]{Propositionen}
                                      , Akkusativ = [Die]{Proposition}[Die]{Propositionen}
                                    }
                    , italian     = [La]{proposizione}[Le]{proposte}
                    , portuguese  = [A]{proposiÃ§Ã£o}[As]{proposiÃ§Ãµes}
                    , brazilian   = [A]{proposiÃ§Ã£o}[As]{proposiÃ§Ãµes}
                    , spanish     = [La]{proposiciÃ³n}[Las]{proposiciones}
                    , schinese    = {å‘½é¢˜}{å‘½é¢˜}
                    , tchinese    = {å‘½é¡Œ}{å‘½é¡Œ}
                    , japanese    = {å‘½é¡Œ}{å‘½é¡Œ}
                    , russian     = {ÐŸÑ€ÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¸Ðµ}{ÐŸÑ€ÐµÐ´Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { question }
  {
    , heading =   {
                    , english     = Question
                    , french      = Question
                    , ngerman     = Frage
                    , italian     = Domanda
                    , portuguese  = Pergunta
                    , brazilian   = Pergunta
                    , spanish     = Pregunta
                    , schinese    = é—®é¢˜
                    , tchinese    = å•é¡Œ
                    , japanese    = å•é¡Œ
                    , russian     = Ð’Ð¾Ð¿Ñ€Ð¾Ñ
                  }
    , crefname =  {
                    , english     = {question}{questions}
                    , french      = [la]{question}[les]{questions}
                    , ngerman     = { {Frage}{Fragen}
                                      , Nominativ = [die]{Frage}[die]{Fragen}
                                      , Genitiv   = [der]{Frage}[der]{Fragen}
                                      , Dativ     = [der]{Frage}[den]{Fragen}
                                      , Akkusativ = [die]{Frage}[die]{Fragen}
                                    }
                    , italian     = [la]{domanda}[le]{domande}
                    , portuguese  = [a]{pergunta}[as]{perguntas}
                    , brazilian   = [a]{pergunta}[as]{perguntas}
                    , spanish     = [la]{pregunta}[las]{preguntas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {Ð²Ð¾Ð¿Ñ€Ð¾Ñ}{Ð²Ð¾Ð¿Ñ€Ð¾ÑÑ‹}
                  }
    , Crefname =  {
                    , english     = {Question}{Questions}
                    , french      = [La]{question}[Les]{questions}
                    , ngerman     = { {Frage}{Fragen}
                                      , Nominativ = [Die]{Frage}[Die]{Fragen}
                                      , Genitiv   = [Der]{Frage}[Der]{Fragen}
                                      , Dativ     = [Der]{Frage}[Den]{Fragen}
                                      , Akkusativ = [Die]{Frage}[Die]{Fragen}
                                    }
                    , italian     = [La]{domanda}[Le]{domande}
                    , portuguese  = [A]{pergunta}[As]{perguntas}
                    , brazilian   = [A]{pergunta}[As]{perguntas}
                    , spanish     = [La]{pregunta}[Las]{preguntas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {Ð’Ð¾Ð¿Ñ€Ð¾Ñ}{Ð’Ð¾Ð¿Ñ€Ð¾ÑÑ‹}
                  }
  }

\NameTheorem { recall }
  {
    , heading =   {
                    , english     = Recall
                    , french      = Rappel
                    , ngerman     = Erinnerung
                    , italian     = Richiamo
                    , portuguese  = RecordaÃ§Ã£o
                    , brazilian   = RecordaÃ§Ã£o
                    , spanish     = Recuerdo
                    , schinese    = å›žé¡¾
                    , tchinese    = å›žé¡§
                    , japanese    = å›žé¡§
                    , russian     = ÐÐ°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {recall}{recalls}
                    , french      = [le]{rappel}[les]{rappels}
                    , ngerman     = { {Erinnerung}{Erinnerungen}
                                      , Nominativ = [die]{Erinnerung}[die]{Erinnerungen}
                                      , Genitiv   = [der]{Erinnerung}[der]{Erinnerungen}
                                      , Dativ     = [der]{Erinnerung}[den]{Erinnerungen}
                                      , Akkusativ = [die]{Erinnerung}[die]{Erinnerungen}
                                    }
                    , italian     = [il]{richiamo}[i]{richiami}
                    , portuguese  = [a]{recordaÃ§Ã£o}[as]{recordaÃ§Ãµes}
                    , brazilian   = [a]{recordaÃ§Ã£o}[as]{recordaÃ§Ãµes}
                    , spanish     = [el]{recuerdo}[los]{recuerdos}
                    , schinese    = {å›žé¡¾}{å›žé¡¾}
                    , tchinese    = {å›žé¡§}{å›žé¡§}
                    , japanese    = {å›žé¡§}{å›žé¡§}
                    , russian     = {Ð½Ð°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ðµ}{Ð½Ð°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Recall}{Recalls}
                    , french      = [Le]{rappel}[Les]{rappels}
                    , ngerman     = { {Erinnerung}{Erinnerungen}
                                      , Nominativ = [Die]{Erinnerung}[Die]{Erinnerungen}
                                      , Genitiv   = [Der]{Erinnerung}[Der]{Erinnerungen}
                                      , Dativ     = [Der]{Erinnerung}[Den]{Erinnerungen}
                                      , Akkusativ = [Die]{Erinnerung}[Die]{Erinnerungen}
                                    }
                    , italian     = [Il]{richiamo}[I]{richiami}
                    , portuguese  = [A]{recordaÃ§Ã£o}[As]{recordaÃ§Ãµes}
                    , brazilian   = [A]{recordaÃ§Ã£o}[As]{recordaÃ§Ãµes}
                    , spanish     = [El]{recuerdo}[Los]{recuerdos}
                    , schinese    = {å›žé¡¾}{å›žé¡¾}
                    , tchinese    = {å›žé¡§}{å›žé¡§}
                    , japanese    = {å›žé¡§}{å›žé¡§}
                    , russian     = {ÐÐ°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ðµ}{ÐÐ°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ}
                  }
  }

\NameTheorem { remark }
  {
    , heading =   {
                    , english     = Remark
                    , french      = Remarque
                    , ngerman     = Bemerkung
                    , italian     = Commento
                    , portuguese  = ComentÃ¡rio
                    , brazilian   = ComentÃ¡rio
                    , spanish     = Comentario
                    , schinese    = å¤‡æ³¨
                    , tchinese    = å‚™è¨»
                    , japanese    = æ³¨é‡ˆ
                    , russian     = Ð—Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ðµ
                  }
    , crefname =  {
                    , english     = {remark}{remarks}
                    , french      = [la]{remarque}[les]{remarques}
                    , ngerman     = { {Bemerkung}{Bemerkungen}
                                      , Nominativ = [die]{Bemerkung}[die]{Bemerkungen}
                                      , Genitiv   = [der]{Bemerkung}[der]{Bemerkungen}
                                      , Dativ     = [der]{Bemerkung}[den]{Bemerkungen}
                                      , Akkusativ = [die]{Bemerkung}[die]{Bemerkungen}
                                    }
                    , italian     = [il]{commento}[i]{commenti}
                    , portuguese  = [o]{comentÃ¡rio}[os]{comentÃ¡rios}
                    , brazilian   = [o]{comentÃ¡rio}[os]{comentÃ¡rios}
                    , spanish     = [el]{comentario}[los]{comentarios}
                    , schinese    = {å¤‡æ³¨}{å¤‡æ³¨}
                    , tchinese    = {å‚™è¨»}{å‚™è¨»}
                    , japanese    = {æ³¨é‡ˆ}{æ³¨é‡ˆ}
                    , russian     = {Ð·Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ðµ}{Ð·Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Remark}{Remarks}
                    , french      = [La]{remarque}[Les]{remarques}
                    , ngerman     = { {Bemerkung}{Bemerkungen}
                                      , Nominativ = [Die]{Bemerkung}[Die]{Bemerkungen}
                                      , Genitiv   = [Der]{Bemerkung}[Der]{Bemerkungen}
                                      , Dativ     = [Der]{Bemerkung}[Den]{Bemerkungen}
                                      , Akkusativ = [Die]{Bemerkung}[Die]{Bemerkungen}
                                    }
                    , italian     = [Il]{commento}[I]{commenti}
                    , portuguese  = [O]{comentÃ¡rio}[Os]{comentÃ¡rios}
                    , brazilian   = [O]{comentÃ¡rio}[Os]{comentÃ¡rios}
                    , spanish     = [El]{comentario}[Los]{comentarios}
                    , schinese    = {å¤‡æ³¨}{å¤‡æ³¨}
                    , tchinese    = {å‚™è¨»}{å‚™è¨»}
                    , japanese    = {æ³¨é‡ˆ}{æ³¨é‡ˆ}
                    , russian     = {Ð—Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ðµ}{Ð—Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ}
                  }
  }

\NameTheorem { theorem }
  {
    , heading =   {
                    , english     = Theorem
                    , french      = ThÃ©orÃ¨me
                    , ngerman     = Satz
                    , italian     = Teorema
                    , portuguese  = Teorema
                    , brazilian   = Teorema
                    , spanish     = Teorema
                    , schinese    = å®šç†
                    , tchinese    = å®šç†
                    , japanese    = å®šç†
                    , russian     = Ð¢ÐµÐ¾Ñ€ÐµÐ¼Ð°
                  }
    , crefname =  {
                    , english     = {theorem}{theorems}
                    , french      = [le]{thÃ©orÃ¨me}[les]{thÃ©orÃ¨mes}
                    , ngerman     = { {Satz}{SÃ¤tze}
                                      , Nominativ = [der]{Satz}[die]{SÃ¤tze}
                                      , Genitiv   = [des]{Satzes}[der]{SÃ¤tze}
                                      , Dativ     = [dem]{Satz}[den]{SÃ¤tzen}
                                      , Akkusativ = [den]{Satz}[die]{SÃ¤tze}
                                    }
                    , italian     = [il]{teorema}[i]{teoremi}
                    , portuguese  = [o]{teorema}[os]{teoremas}
                    , brazilian   = [o]{teorema}[os]{teoremas}
                    , spanish     = [el]{teorema}[los]{teoremas}
                    , schinese    = {å®šç†}{å®šç†}
                    , tchinese    = {å®šç†}{å®šç†}
                    , japanese    = {å®šç†}{å®šç†}
                    , russian     = {Ñ‚ÐµÐ¾Ñ€ÐµÐ¼Ð°}{Ñ‚ÐµÐ¾Ñ€ÐµÐ¼Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Theorem}{Theorems}
                    , french      = [Le]{thÃ©orÃ¨me}[Les]{thÃ©orÃ¨mes}
                    , ngerman     = { {Satz}{SÃ¤tze}
                                      , Nominativ = [Der]{Satz}[Die]{SÃ¤tze}
                                      , Genitiv   = [Des]{Satzes}[Der]{SÃ¤tze}
                                      , Dativ     = [Dem]{Satz}[Den]{SÃ¤tzen}
                                      , Akkusativ = [Den]{Satz}[Die]{SÃ¤tze}
                                    }
                    , italian     = [Il]{teorema}[I]{teoremi}
                    , portuguese  = [O]{teorema}[Os]{teoremas}
                    , brazilian   = [O]{teorema}[Os]{teoremas}
                    , spanish     = [El]{teorema}[Los]{teoremas}
                    , schinese    = {å®šç†}{å®šç†}
                    , tchinese    = {å®šç†}{å®šç†}
                    , japanese    = {å®šç†}{å®šç†}
                    , russian     = {Ð¢ÐµÐ¾Ñ€ÐµÐ¼Ð°}{Ð¢ÐµÐ¾Ñ€ÐµÐ¼Ñ‹}
                  }
  }

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

\NameTheorem { corollary-definition } { combined = { corollary ; definition } }
\NameTheorem { lemma-definition } { combined = { lemma ; definition } }
\NameTheorem { proposition-definition } { combined = { proposition ; definition } }
\NameTheorem { theorem-definition } { combined = { theorem ; definition } }
</pre></body></html>