<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 { applications }
  {
    , heading =   {
                    , english     = Applications
                    , french      = Applications
                    , ngerman     = Anwendungen
                    , italian     = Applicazioni
                    , portuguese  = AplicaÃ§Ãµes
                    , brazilian   = AplicaÃ§Ãµes
                    , spanish     = Aplicaciones
                    , schinese    = åº”ç”¨
                    , tchinese    = æ‡‰ç”¨
                    , japanese    = å¿œç”¨
                    , russian     = ÐŸÑ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {applications}{applications}
                    , french      = [les]{applications}[les]{applications}
                    , ngerman     = { {Anwendungen}{Anwendungen}
                                      , Nominativ = [die]{Anwendungen}[die]{Anwendungen}
                                      , Genitiv   = [der]{Anwendungen}[der]{Anwendungen}
                                      , Dativ     = [den]{Anwendungen}[den]{Anwendungen}
                                      , Akkusativ = [die]{Anwendungen}[die]{Anwendungen}
                                    }
                    , italian     = [le]{applicazioni}[le]{applicazioni}
                    , portuguese  = [as]{aplicaÃ§Ãµes}[as]{aplicaÃ§Ãµes}
                    , brazilian   = [as]{aplicaÃ§Ãµes}[as]{aplicaÃ§Ãµes}
                    , spanish     = [las]{aplicaciones}[las]{aplicaciones}
                    , schinese    = {åº”ç”¨}{åº”ç”¨}
                    , tchinese    = {æ‡‰ç”¨}{æ‡‰ç”¨}
                    , japanese    = {å¿œç”¨}{å¿œç”¨}
                    , russian     = {Ð¿Ñ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}{Ð¿Ñ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Applications}{Applications}
                    , french      = [Les]{applications}[Les]{applications}
                    , ngerman     = { {Anwendungen}{Anwendungen}
                                      , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen}
                                      , Genitiv   = [Der]{Anwendungen}[Der]{Anwendungen}
                                      , Dativ     = [Den]{Anwendungen}[Den]{Anwendungen}
                                      , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen}
                                    }
                    , italian     = [Le]{applicazioni}[Le]{applicazioni}
                    , portuguese  = [As]{aplicaÃ§Ãµes}[As]{aplicaÃ§Ãµes}
                    , brazilian   = [As]{aplicaÃ§Ãµes}[As]{aplicaÃ§Ãµes}
                    , spanish     = [Las]{aplicaciones}[Las]{aplicaciones}
                    , schinese    = {åº”ç”¨}{åº”ç”¨}
                    , tchinese    = {æ‡‰ç”¨}{æ‡‰ç”¨}
                    , japanese    = {å¿œç”¨}{å¿œç”¨}
                    , russian     = {ÐŸÑ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}{ÐŸÑ€Ð¸Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { assertions }
  {
    , heading =   {
                    , english     = Assertions
                    , french      = Assertions
                    , ngerman     = Assertionen
                    , italian     = Asserzioni
                    , portuguese  = AsserÃ§Ãµes
                    , brazilian   = AsserÃ§Ãµes
                    , spanish     = Aserciones
                    , schinese    = æ–­è¨€
                    , tchinese    = æ–·è¨€
                    , japanese    = æ–­è¨€
                    , russian     = Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {assertions}{assertions}
                    , french      = [les]{assertions}[les]{assertions}
                    , ngerman     = { {Assertionen}{Assertionen}
                                      , Nominativ = [die]{Assertionen}[die]{Assertionen}
                                      , Genitiv   = [der]{Assertionen}[der]{Assertionen}
                                      , Dativ     = [den]{Assertionen}[den]{Assertionen}
                                      , Akkusativ = [die]{Assertionen}[die]{Assertionen}
                                    }
                    , italian     = [le]{asserzioni}[le]{asserzioni}
                    , portuguese  = [as]{asserÃ§Ãµes}[as]{asserÃ§Ãµes}
                    , brazilian   = [as]{asserÃ§Ãµes}[as]{asserÃ§Ãµes}
                    , spanish     = [las]{aserciones}[las]{aserciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}{ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Assertions}{Assertions}
                    , french      = [Les]{assertions}[Les]{assertions}
                    , ngerman     = { {Assertionen}{Assertionen}
                                      , Nominativ = [Die]{Assertionen}[Die]{Assertionen}
                                      , Genitiv   = [Der]{Assertionen}[Der]{Assertionen}
                                      , Dativ     = [Den]{Assertionen}[Den]{Assertionen}
                                      , Akkusativ = [Die]{Assertionen}[Die]{Assertionen}
                                    }
                    , italian     = [Le]{asserzioni}[Le]{asserzioni}
                    , portuguese  = [As]{asserÃ§Ãµes}[As]{asserÃ§Ãµes}
                    , brazilian   = [As]{asserÃ§Ãµes}[As]{asserÃ§Ãµes}
                    , spanish     = [Las]{aserciones}[Las]{aserciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}{Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { assumptions }
  {
    , heading =   {
                    , english     = Assumptions
                    , french      = Suppositions
                    , ngerman     = Annahmen
                    , italian     = Supposizioni
                    , portuguese  = SuposiÃ§Ãµes
                    , brazilian   = SuposiÃ§Ãµes
                    , spanish     = Suposiciones
                    , schinese    = å‡å®š
                    , tchinese    = å‡å®š
                    , japanese    = ä»®å®š
                    , russian     = ÐŸÑ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {assumptions}{assumptions}
                    , french      = [les]{suppositions}[les]{suppositions}
                    , ngerman     = { {Annahmen}{Annahmen}
                                      , Nominativ = [die]{Annahmen}[die]{Annahmen}
                                      , Genitiv   = [der]{Annahmen}[der]{Annahmen}
                                      , Dativ     = [den]{Annahmen}[den]{Annahmen}
                                      , Akkusativ = [die]{Annahmen}[die]{Annahmen}
                                    }
                    , italian     = [le]{supposizioni}[le]{supposizioni}
                    , portuguese  = [as]{suposiÃ§Ãµes}[as]{suposiÃ§Ãµes}
                    , brazilian   = [as]{suposiÃ§Ãµes}[as]{suposiÃ§Ãµes}
                    , spanish     = [las]{suposiciones}[las]{suposiciones}
                    , schinese    = {å‡å®š}{å‡å®š}
                    , tchinese    = {å‡å®š}{å‡å®š}
                    , japanese    = {ä»®å®š}{ä»®å®š}
                    , russian     = {Ð¿Ñ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}{Ð¿Ñ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Assumptions}{Assumptions}
                    , french      = [Les]{suppositions}[Les]{suppositions}
                    , ngerman     = { {Annahmen}{Annahmen}
                                      , Nominativ = [Die]{Annahmen}[Die]{Annahmen}
                                      , Genitiv   = [Der]{Annahmen}[Der]{Annahmen}
                                      , Dativ     = [Den]{Annahmen}[Den]{Annahmen}
                                      , Akkusativ = [Die]{Annahmen}[Die]{Annahmen}
                                    }
                    , italian     = [le]{supposizioni}[le]{supposizioni}
                    , portuguese  = [As]{suposiÃ§Ãµes}[As]{suposiÃ§Ãµes}
                    , brazilian   = [As]{suposiÃ§Ãµes}[As]{suposiÃ§Ãµes}
                    , spanish     = [Las]{suposiciones}[Las]{suposiciones}
                    , schinese    = {å‡å®š}{å‡å®š}
                    , tchinese    = {å‡å®š}{å‡å®š}
                    , japanese    = {ä»®å®š}{ä»®å®š}
                    , russian     = {ÐŸÑ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}{ÐŸÑ€ÐµÐ´Ð¿Ð¾Ð»Ð¾Ð¶ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { axioms }
  {
    , heading =   {
                    , english     = Axioms
                    , french      = Axiomes
                    , ngerman     = Axiome
                    , italian     = Assiomi
                    , portuguese  = Axiomas
                    , brazilian   = Axiomas
                    , spanish     = Axiomas
                    , schinese    = å…¬ç†
                    , tchinese    = å…¬ç†
                    , japanese    = å…¬ç†
                    , russian     = ÐÐºÑÐ¸Ð¾Ð¼Ñ‹
                  }
    , crefname =  {
                    , english     = {axioms}{axioms}
                    , french      = [les]{axiomes}[les]{axiomes}
                    , ngerman     = { {Axiome}{Axiome}
                                      , Nominativ = [die]{Axiome}[die]{Axiome}
                                      , Genitiv   = [der]{Axiome}[der]{Axiome}
                                      , Dativ     = [den]{Axiomen}[den]{Axiomen}
                                      , Akkusativ = [die]{Axiome}[die]{Axiome}
                                    }
                    , italian     = [gli]{assiomi}[gli]{assiomi}
                    , portuguese  = [os]{axiomas}[os]{axiomas}
                    , brazilian   = [os]{axiomas}[os]{axiomas}
                    , spanish     = [los]{axiomas}[los]{axiomas}
                    , schinese    = {å…¬ç†}{å…¬ç†}
                    , tchinese    = {å…¬ç†}{å…¬ç†}
                    , japanese    = {å…¬ç†}{å…¬ç†}
                    , russian     = {Ð°ÐºÑÐ¸Ð¾Ð¼Ñ‹}{Ð°ÐºÑÐ¸Ð¾Ð¼Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Axioms}{Axioms}
                    , french      = [Les]{axiomes}[Les]{axiomes}
                    , ngerman     = { {Axiome}{Axiome}
                                      , Nominativ = [Die]{Axiome}[Die]{Axiome}
                                      , Genitiv   = [Der]{Axiome}[Der]{Axiome}
                                      , Dativ     = [Den]{Axiomen}[Den]{Axiomen}
                                      , Akkusativ = [Die]{Axiome}[Die]{Axiome}
                                    }
                    , italian     = [Gli]{assiomi}[Gli]{assiomi}
                    , portuguese  = [Os]{axiomas}[Os]{axiomas}
                    , brazilian   = [Os]{axiomas}[Os]{axiomas}
                    , spanish     = [Los]{axiomas}[Los]{axiomas}
                    , schinese    = {å…¬ç†}{å…¬ç†}
                    , tchinese    = {å…¬ç†}{å…¬ç†}
                    , japanese    = {å…¬ç†}{å…¬ç†}
                    , russian     = {ÐÐºÑÐ¸Ð¾Ð¼Ñ‹}{ÐÐºÑÐ¸Ð¾Ð¼Ñ‹}
                  }
  }

\NameTheorem { claims }
  {
    , heading =   {
                    , english     = Claims
                    , french      = Affirmations
                    , ngerman     = Behauptungen
                    , italian     = Affermazioni
                    , portuguese  = AfirmaÃ§Ãµes
                    , brazilian   = AfirmaÃ§Ãµes
                    , spanish     = Afirmaciones
                    , schinese    = æ–­è¨€
                    , tchinese    = æ–·è¨€
                    , japanese    = æ–­è¨€
                    , russian     = Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {claims}{claims}
                    , french      = [les]{affirmations}[les]{affirmations}
                    , ngerman     = { {Behauptungen}{Behauptungen}
                                      , Nominativ = [die]{Behauptungen}[die]{Behauptungen}
                                      , Genitiv   = [der]{Behauptungen}[der]{Behauptungen}
                                      , Dativ     = [den]{Behauptungen}[den]{Behauptungen}
                                      , Akkusativ = [die]{Behauptungen}[die]{Behauptungen}
                                    }
                    , italian     = [le]{affermazioni}[le]{affermazioni}
                    , portuguese  = [as]{afirmaÃ§Ãµes}[as]{afirmaÃ§Ãµes}
                    , brazilian   = [as]{afirmaÃ§Ãµes}[as]{afirmaÃ§Ãµes}
                    , spanish     = [las]{afirmaciones}[las]{afirmaciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}{ÑƒÑ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Claims}{Claims}
                    , french      = [Les]{affirmations}[Les]{affirmations}
                    , ngerman     = { {Behauptungen}{Behauptungen}
                                      , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen}
                                      , Genitiv   = [Der]{Behauptungen}[Der]{Behauptungen}
                                      , Dativ     = [Den]{Behauptungen}[Den]{Behauptungen}
                                      , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen}
                                    }
                    , italian     = [Le]{affermazioni}[Le]{affermazioni}
                    , portuguese  = [As]{afirmaÃ§Ãµes}[As]{afirmaÃ§Ãµes}
                    , brazilian   = [As]{afirmaÃ§Ãµes}[As]{afirmaÃ§Ãµes}
                    , spanish     = [Las]{afirmaciones}[Las]{afirmaciones}
                    , schinese    = {æ–­è¨€}{æ–­è¨€}
                    , tchinese    = {æ–·è¨€}{æ–·è¨€}
                    , japanese    = {æ–­è¨€}{æ–­è¨€}
                    , russian     = {Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}{Ð£Ñ‚Ð²ÐµÑ€Ð¶Ð´ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { commentaries }
  {
    , heading =   {
                    , english     = Commentaries
                    , french      = Commentaires
                    , ngerman     = Kommentare
                    , italian     = Commenti
                    , portuguese  = ComentÃ¡rios
                    , brazilian   = ComentÃ¡rios
                    , spanish     = Comentarios
                    , schinese    = è§£è¯´
                    , tchinese    = è§£èªª
                    , japanese    = è§£èª¬
                    , russian     = ÐšÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸
                  }
    , crefname =  {
                    , english     = {commentaries}{commentaries}
                    , french      = [les]{commentaires}[les]{commentaires}
                    , ngerman     = { {Kommentare}{Kommentare}
                                      , Nominativ = [die]{Kommentare}[die]{Kommentare}
                                      , Genitiv   = [der]{Kommentare}[der]{Kommentare}
                                      , Dativ     = [den]{Kommentaren}[den]{Kommentaren}
                                      , Akkusativ = [die]{Kommentare}[die]{Kommentare}
                                    }
                    , italian     = [i]{commenti}[i]{commenti}
                    , portuguese  = [os]{comentÃ¡rios}[os]{comentÃ¡rios}
                    , brazilian   = [os]{comentÃ¡rios}[os]{comentÃ¡rios}
                    , spanish     = [los]{comentarios}[los]{comentarios}
                    , schinese    = {è§£è¯´}{è§£è¯´}
                    , tchinese    = {è§£èªª}{è§£èªª}
                    , japanese    = {è§£èª¬}{è§£èª¬}
                    , russian     = {ÐºÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸}{ÐºÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Commentaries}{Commentaries}
                    , french      = [Les]{commentaires}[Les]{commentaires}
                    , ngerman     = { {Kommentare}{Kommentare}
                                      , Nominativ = [Die]{Kommentare}[Die]{Kommentare}
                                      , Genitiv   = [Der]{Kommentare}[Der]{Kommentare}
                                      , Dativ     = [Den]{Kommentaren}[Den]{Kommentaren}
                                      , Akkusativ = [Die]{Kommentare}[Die]{Kommentare}
                                    }
                    , italian     = [I]{commenti}[I]{commenti}
                    , portuguese  = [Os]{comentÃ¡rios}[Os]{comentÃ¡rios}
                    , brazilian   = [Os]{comentÃ¡rios}[Os]{comentÃ¡rios}
                    , spanish     = [Los]{comentarios}[Los]{comentarios}
                    , schinese    = {è§£è¯´}{è§£è¯´}
                    , tchinese    = {è§£èªª}{è§£èªª}
                    , japanese    = {è§£èª¬}{è§£èª¬}
                    , russian     = {ÐšÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸}{ÐšÐ¾Ð¼Ð¼ÐµÐ½Ñ‚Ð°Ñ€Ð¸Ð¸}
                  }
  }

\NameTheorem { conclusions }
  {
    , heading =   {
                    , english     = Conclusions
                    , french      = Conclusions
                    , ngerman     = Schlussfolgerungen
                    , italian     = Conclusioni
                    , portuguese  = ConclusÃµes
                    , brazilian   = ConclusÃµes
                    , spanish     = Conclusiones
                    , schinese    = ç»“è®º
                    , tchinese    = çµè«–
                    , japanese    = çµè«–
                    , russian     = Ð’Ñ‹Ð²Ð¾Ð´Ñ‹
                  }
    , crefname =  {
                    , english     = {conclusions}{conclusions}
                    , french      = [Les]{conclusions}[Les]{conclusions}
                    , ngerman     = { {Schlussfolgerungen}{Schlussfolgerungen}
                                      , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
                                      , Genitiv   = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen}
                                      , Dativ     = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen}
                                      , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
                                    }
                    , italian     = [le]{conclusioni}[le]{conclusioni}
                    , portuguese  = [as]{conclusÃµes}[as]{conclusÃµes}
                    , brazilian   = [as]{conclusÃµes}[as]{conclusÃµes}
                    , spanish     = [las]{conclusiones}[las]{conclusiones}
                    , schinese    = {ç»“è®º}{ç»“è®º}
                    , tchinese    = {çµè«–}{çµè«–}
                    , japanese    = {çµè«–}{çµè«–}
                    , russian     = {Ð²Ñ‹Ð²Ð¾Ð´Ñ‹}{Ð²Ñ‹Ð²Ð¾Ð´Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Conclusions}{Conclusions}
                    , french      = [Les]{conclusions}[Les]{conclusions}
                    , ngerman     = { {Schlussfolgerungen}{Schlussfolgerungen}
                                      , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
                                      , Genitiv   = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen}
                                      , Dativ     = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen}
                                      , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
                                    }
                    , italian     = [Le]{conclusioni}[Le]{conclusioni}
                    , portuguese  = [As]{conclusÃµes}[As]{conclusÃµes}
                    , brazilian   = [As]{conclusÃµes}[As]{conclusÃµes}
                    , spanish     = [Las]{conclusiones}[Las]{conclusiones}
                    , schinese    = {ç»“è®º}{ç»“è®º}
                    , tchinese    = {çµè«–}{çµè«–}
                    , japanese    = {çµè«–}{çµè«–}
                    , russian     = {Ð’Ñ‹Ð²Ð¾Ð´Ñ‹}{Ð’Ñ‹Ð²Ð¾Ð´Ñ‹}
                  }
  }

\NameTheorem { conjectures }
  {
    , heading =   {
                    , english     = Conjectures
                    , french      = Conjectures
                    , ngerman     = Vermutungen
                    , italian     = Congetture
                    , portuguese  = Conjeturas
                    , brazilian   = Conjecturas
                    , spanish     = Conjeturas
                    , schinese    = çŒœæƒ³
                    , tchinese    = çŒœæƒ³
                    , japanese    = äºˆæƒ³
                    , russian     = Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹
                  }
    , crefname =  {
                    , english     = {conjectures}{conjectures}
                    , french      = [les]{conjectures}[les]{conjectures}
                    , ngerman     = { {Vermutungen}{Vermutungen}
                                      , Nominativ = [die]{Vermutungen}[die]{Vermutungen}
                                      , Genitiv   = [der]{Vermutungen}[der]{Vermutungen}
                                      , Dativ     = [den]{Vermutungen}[den]{Vermutungen}
                                      , Akkusativ = [die]{Vermutungen}[die]{Vermutungen}
                                    }
                    , italian     = [le]{congetture}[le]{congetture}
                    , portuguese  = [as]{conjeturas}[as]{conjeturas}
                    , brazilian   = [as]{conjecturas}[as]{conjecturas}
                    , spanish     = [las]{conjeturas}[las]{conjeturas}
                    , schinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , tchinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , japanese    = {äºˆæƒ³}{äºˆæƒ³}
                    , russian     = {Ð³Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}{Ð³Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Conjectures}{Conjectures}
                    , french      = [Les]{conjectures}[Les]{conjectures}
                    , ngerman     = { {Vermutungen}{Vermutungen}
                                      , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen}
                                      , Genitiv   = [Der]{Vermutungen}[Der]{Vermutungen}
                                      , Dativ     = [Den]{Vermutungen}[Den]{Vermutungen}
                                      , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen}
                                    }
                    , italian     = [Le]{congetture}[Le]{congetture}
                    , portuguese  = [As]{conjeturas}[As]{conjeturas}
                    , brazilian   = [As]{conjecturas}[As]{conjecturas}
                    , spanish     = [Las]{conjeturas}[Las]{conjeturas}
                    , schinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , tchinese    = {çŒœæƒ³}{çŒœæƒ³}
                    , japanese    = {äºˆæƒ³}{äºˆæƒ³}
                    , russian     = {Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}{Ð“Ð¸Ð¿Ð¾Ñ‚ÐµÐ·Ñ‹}
                  }
  }

\NameTheorem { constructions }
  {
    , heading =   {
                    , english     = Constructions
                    , french      = Constructions
                    , ngerman     = Konstruktionen
                    , italian     = Costruzioni
                    , portuguese  = ConstruÃ§Ãµes
                    , brazilian   = ConstruÃ§Ãµes
                    , spanish     = Construcciones
                    , schinese    = æž„é€&nbsp;
                    , tchinese    = æ§‹é€&nbsp;
                    , japanese    = æ§‹é€&nbsp;
                    , russian     = ÐšÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¸
                  }
    , crefname =  {
                    , english     = {constructions}{constructions}
                    , french      = [les]{constructions}[les]{constructions}
                    , ngerman     = { {Konstruktionen}{Konstruktionen}
                                      , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen}
                                      , Genitiv   = [der]{Konstruktionen}[der]{Konstruktionen}
                                      , Dativ     = [den]{Konstruktionen}[den]{Konstruktionen}
                                      , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen}
                                    }
                    , italian     = [le]{costruzioni}[le]{costruzioni}
                    , portuguese  = [as]{construÃ§Ãµes}[as]{construÃ§Ãµes}
                    , brazilian   = [as]{construÃ§Ãµes}[as]{construÃ§Ãµes}
                    , spanish     = [las]{construcciones}[las]{construcciones}
                    , schinese    = {æž„é€&nbsp;}{æž„é€&nbsp;}
                    , tchinese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , japanese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , russian     = {ÐºÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¸}{ÐºÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Constructions}{Constructions}
                    , french      = [Les]{constructions}[Les]{constructions}
                    , ngerman     = { {Konstruktionen}{Konstruktionen}
                                      , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
                                      , Genitiv   = [Der]{Konstruktionen}[Der]{Konstruktionen}
                                      , Dativ     = [Den]{Konstruktionen}[Den]{Konstruktionen}
                                      , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
                                    }
                    , italian     = [Le]{costruzioni}[Le]{costruzioni}
                    , portuguese  = [As]{construÃ§Ãµes}[As]{construÃ§Ãµes}
                    , brazilian   = [As]{construÃ§Ãµes}[As]{construÃ§Ãµes}
                    , spanish     = [Las]{construcciones}[Las]{construcciones}
                    , schinese    = {æž„é€&nbsp;}{æž„é€&nbsp;}
                    , tchinese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , japanese    = {æ§‹é€&nbsp;}{æ§‹é€&nbsp;}
                    , russian     = {ÐšÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¸}{ÐšÐ¾Ð½ÑÑ‚Ñ€ÑƒÐºÑ†Ð¸Ð¸}
                  }
  }

\NameTheorem { conventions }
  {
    , heading =   {
                    , english     = Conventions
                    , french      = Conventions
                    , ngerman     = Konventionen
                    , italian     = Convenzioni
                    , portuguese  = ConvenÃ§Ãµes
                    , brazilian   = ConvenÃ§Ãµes
                    , spanish     = Convenciones
                    , schinese    = çº¦å®š
                    , tchinese    = ç´„å®š
                    , japanese    = æ…£ä¾‹
                    , russian     = ÐšÐ¾Ð½Ð²ÐµÐ½Ñ†Ð¸Ð¸
                  }
    , crefname =  {
                    , english     = {conventions}{conventions}
                    , french      = [les]{conventions}[les]{conventions}
                    , ngerman     = { {Konventionen}{Konventionen}
                                      , Nominativ = [die]{Konventionen}[die]{Konventionen}
                                      , Genitiv   = [der]{Konventionen}[der]{Konventionen}
                                      , Dativ     = [den]{Konventionen}[den]{Konventionen}
                                      , Akkusativ = [die]{Konventionen}[die]{Konventionen}
                                    }
                    , italian     = [le]{convenzioni}[le]{convenzioni}
                    , portuguese  = [as]{convenÃ§Ãµes}[as]{convenÃ§Ãµes}
                    , brazilian   = [as]{convenÃ§Ãµes}[as]{convenÃ§Ãµes}
                    , spanish     = [las]{convenciones}[las]{convenciones}
                    , schinese    = {çº¦å®š}{çº¦å®š}
                    , tchinese    = {ç´„å®š}{ç´„å®š}
                    , japanese    = {æ…£ä¾‹}{æ…£ä¾‹}
                    , russian     = {ÐºÐ¾Ð½Ð²ÐµÐ½Ñ†Ð¸Ð¸}{ÐºÐ¾Ð½Ð²ÐµÐ½Ñ†Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Conventions}{Conventions}
                    , french      = [Les]{conventions}[Les]{conventions}
                    , ngerman     = { {Konventionen}{Konventionen}
                                      , Nominativ = [Die]{Konventionen}[Die]{Konventionen}
                                      , Genitiv   = [Der]{Konventionen}[Der]{Konventionen}
                                      , Dativ     = [Den]{Konventionen}[Den]{Konventionen}
                                      , Akkusativ = [Die]{Konventionen}[Die]{Konventionen}
                                    }
                    , italian     = [Le]{convenzioni}[Le]{convenzioni}
                    , portuguese  = [As]{convenÃ§Ãµes}[As]{convenÃ§Ãµes}
                    , brazilian   = [As]{convenÃ§Ãµes}[As]{convenÃ§Ãµes}
                    , spanish     = [Las]{convenciones}[Las]{convenciones}
                    , schinese    = {çº¦å®š}{çº¦å®š}
                    , tchinese    = {ç´„å®š}{ç´„å®š}
                    , japanese    = {æ…£ä¾‹}{æ…£ä¾‹}
                    , russian     = {ÐšÐ¾Ð½Ð²ÐµÐ½Ñ†Ð¸Ð¸}{ÐšÐ¾Ð½Ð²ÐµÐ½Ñ†Ð¸Ð¸}
                  }
  }

\NameTheorem { corollaries }
  {
    , heading =   {
                    , english     = Corollaries
                    , french      = Corollaires
                    , ngerman     = Korollare
                    , italian     = Corollari
                    , portuguese  = CorolÃ¡rios
                    , brazilian   = CorolÃ¡rios
                    , spanish     = Corolarios
                    , schinese    = æŽ¨è®º
                    , tchinese    = æŽ¨è«–
                    , japanese    = ç³»
                    , russian     = Ð¡Ð»ÐµÐ´ÑÑ‚Ð²Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {corollaries}{corollaries}
                    , french      = [les]{corollaires}[les]{corollaires}
                    , ngerman     = { {Korollare}{Korollare}
                                      , Nominativ = [die]{Korollare}[die]{Korollare}
                                      , Genitiv   = [der]{Korollare}[der]{Korollare}
                                      , Dativ     = [den]{Korollaren}[den]{Korollaren}
                                      , Akkusativ = [die]{Korollare}[die]{Korollare}
                                    }
                    , italian     = [i]{corollari}[i]{corollari}
                    , portuguese  = [os]{corolÃ¡rios}[os]{corolÃ¡rios}
                    , brazilian   = [os]{corolÃ¡rios}[os]{corolÃ¡rios}
                    , spanish     = [los]{corolarios}[los]{corolarios}
                    , schinese    = {æŽ¨è®º}{æŽ¨è®º}
                    , tchinese    = {æŽ¨è«–}{æŽ¨è«–}
                    , japanese    = {ç³»}{ç³»}
                    , russian     = {ÑÐ»ÐµÐ´ÑÑ‚Ð²Ð¸Ñ}{ÑÐ»ÐµÐ´ÑÑ‚Ð²Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Corollaries}{Corollaries}
                    , french      = [Les]{corollaires}[Les]{corollaires}
                    , ngerman     = { {Korollare}{Korollare}
                                      , Nominativ = [Die]{Korollare}[Die]{Korollare}
                                      , Genitiv   = [Der]{Korollare}[Der]{Korollare}
                                      , Dativ     = [Den]{Korollaren}[Den]{Korollaren}
                                      , Akkusativ = [Die]{Korollare}[Die]{Korollare}
                                    }
                    , italian     = [I]{corollari}[I]{corollari}
                    , portuguese  = [Os]{corolÃ¡rios}[Os]{corolÃ¡rios}
                    , brazilian   = [Os]{corolÃ¡rios}[Os]{corolÃ¡rios}
                    , spanish     = [Los]{corolarios}[Los]{corolarios}
                    , schinese    = {æŽ¨è®º}{æŽ¨è®º}
                    , tchinese    = {æŽ¨è«–}{æŽ¨è«–}
                    , japanese    = {ç³»}{ç³»}
                    , russian     = {Ð¡Ð»ÐµÐ´ÑÑ‚Ð²Ð¸Ñ}{Ð¡Ð»ÐµÐ´ÑÑ‚Ð²Ð¸Ñ}
                  }
  }

\NameTheorem { definitions }
  {
    , heading =   {
                    , english     = Definitions
                    , french      = DÃ©finitions
                    , ngerman     = Definitionen
                    , italian     = Definizioni
                    , portuguese  = DefiniÃ§Ãµes
                    , brazilian   = DefiniÃ§Ãµes
                    , spanish     = Definiciones
                    , schinese    = å®šä¹‰
                    , tchinese    = å®šç¾©
                    , japanese    = å®šç¾©
                    , russian     = ÐžÐ¿Ñ€ÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {definitions}{definitions}
                    , french      = [les]{dÃ©finitions}[les]{dÃ©finitions}
                    , ngerman     = { {Definitionen}{Definitionen}
                                      , Nominativ = [die]{Definitionen}[die]{Definitionen}
                                      , Genitiv   = [der]{Definitionen}[der]{Definitionen}
                                      , Dativ     = [den]{Definitionen}[den]{Definitionen}
                                      , Akkusativ = [die]{Definitionen}[die]{Definitionen}
                                    }
                    , italian     = [le]{definizioni}[le]{definizioni}
                    , portuguese  = [as]{definiÃ§Ãµes}[as]{definiÃ§Ãµes}
                    , brazilian   = [as]{definiÃ§Ãµes}[as]{definiÃ§Ãµes}
                    , spanish     = [las]{definiciones}[las]{definiciones}
                    , schinese    = {å®šä¹‰}{å®šä¹‰}
                    , tchinese    = {å®šç¾©}{å®šç¾©}
                    , japanese    = {å®šç¾©}{å®šç¾©}
                    , russian     = {Ð¾Ð¿Ñ€ÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ}{Ð¾Ð¿Ñ€ÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Definitions}{Definitions}
                    , french      = [Les]{dÃ©finitions}[Les]{dÃ©finitions}
                    , ngerman     = { {Definitionen}{Definitionen}
                                      , Nominativ = [Die]{Definitionen}[Die]{Definitionen}
                                      , Genitiv   = [Der]{Definitionen}[Der]{Definitionen}
                                      , Dativ     = [Den]{Definitionen}[Den]{Definitionen}
                                      , Akkusativ = [Die]{Definitionen}[Die]{Definitionen}
                                    }
                    , italian     = [Le]{definizioni}[Le]{definizioni}
                    , portuguese  = [As]{definiÃ§Ãµes}[As]{definiÃ§Ãµes}
                    , brazilian   = [As]{definiÃ§Ãµes}[As]{definiÃ§Ãµes}
                    , spanish     = [Las]{definiciones}[Las]{definiciones}
                    , schinese    = {å®šä¹‰}{å®šä¹‰}
                    , tchinese    = {å®šç¾©}{å®šç¾©}
                    , japanese    = {å®šç¾©}{å®šç¾©}
                    , russian     = {ÐžÐ¿Ñ€ÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ}{ÐžÐ¿Ñ€ÐµÐ´ÐµÐ»ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { examples }
  {
    , heading =   {
                    , english     = Examples
                    , french      = Exemples
                    , ngerman     = Beispiele
                    , italian     = Esempi
                    , portuguese  = Exemplos
                    , brazilian   = Exemplos
                    , spanish     = Ejemplos
                    , schinese    = ä¾‹
                    , tchinese    = ä¾‹
                    , japanese    = ä¾‹
                    , russian     = ÐŸÑ€Ð¸Ð¼ÐµÑ€Ñ‹
                  }
    , crefname =  {
                    , english     = {examples}{examples}
                    , french      = [les]{exemples}[les]{exemples}
                    , ngerman     = { {Beispiele}{Beispiele}
                                      , Nominativ = [die]{Beispiele}[die]{Beispiele}
                                      , Genitiv   = [der]{Beispiele}[der]{Beispiele}
                                      , Dativ     = [den]{Beispielen}[den]{Beispielen}
                                      , Akkusativ = [die]{Beispiele}[die]{Beispiele}
                                    }
                    , italian     = [gli]{esempi}[gli]{esempi}
                    , portuguese  = [os]{exemplos}[os]{exemplos}
                    , brazilian   = [os]{exemplos}[os]{exemplos}
                    , spanish     = [los]{ejemplos}[los]{ejemplos}
                    , schinese    = {ä¾‹}{ä¾‹}
                    , tchinese    = {ä¾‹}{ä¾‹}
                    , japanese    = {ä¾‹}{ä¾‹}
                    , russian     = {Ð¿Ñ€Ð¸Ð¼ÐµÑ€Ñ‹}{Ð¿Ñ€Ð¸Ð¼ÐµÑ€Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Examples}{Examples}
                    , french      = [Les]{exemples}[Les]{exemples}
                    , ngerman     = { {Beispiele}{Beispiele}
                                      , Nominativ = [Die]{Beispiele}[Die]{Beispiele}
                                      , Genitiv   = [Der]{Beispiele}[Der]{Beispiele}
                                      , Dativ     = [Den]{Beispielen}[Den]{Beispielen}
                                      , Akkusativ = [Die]{Beispiele}[Die]{Beispiele}
                                    }
                    , italian     = [Gli]{esempi}[Gli]{esempi}
                    , portuguese  = [Os]{exemplos}[Os]{exemplos}
                    , brazilian   = [Os]{exemplos}[Os]{exemplos}
                    , spanish     = [Los]{ejemplos}[Los]{ejemplos}
                    , schinese    = {ä¾‹}{ä¾‹}
                    , tchinese    = {ä¾‹}{ä¾‹}
                    , japanese    = {ä¾‹}{ä¾‹}
                    , russian     = {ÐŸÑ€Ð¸Ð¼ÐµÑ€Ñ‹}{ÐŸÑ€Ð¸Ð¼ÐµÑ€Ñ‹}
                  }
  }

\NameTheorem { exercises }
  {
    , heading =   {
                    , english     = Exercises
                    , french      = Exercices
                    , ngerman     = ÃœBungen
                    , italian     = Esercizi
                    , portuguese  = ExercÃ­cios
                    , brazilian   = ExercÃ­cios
                    , spanish     = Ejercicios
                    , schinese    = ä¹&nbsp;é¢˜
                    , tchinese    = ç¿’é¡Œ
                    , japanese    = ç·´ç¿’
                    , russian     = Ð£Ð¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {exercises}{exercises}
                    , french      = [les]{exercices}[les]{exercices}
                    , ngerman     = { {Ãœbungen}{Ãœbungen}
                                      , Nominativ = [die]{Ãœbungen}[die]{Ãœbungen}
                                      , Genitiv   = [der]{Ãœbungen}[der]{Ãœbungen}
                                      , Dativ     = [den]{Ãœbungen}[den]{Ãœbungen}
                                      , Akkusativ = [die]{Ãœbungen}[die]{Ãœbungen}
                                    }
                    , italian     = [gli]{esercizi}[gli]{esercizi}
                    , portuguese  = [os]{exercÃ­cios}[os]{exercÃ­cios}
                    , brazilian   = [os]{exercÃ­cios}[os]{exercÃ­cios}
                    , spanish     = [los]{ejercicios}[los]{ejercicios}
                    , schinese    = {ä¹&nbsp;é¢˜}{ä¹&nbsp;é¢˜}
                    , tchinese    = {ç¿’é¡Œ}{ç¿’é¡Œ}
                    , japanese    = {ç·´ç¿’}{ç·´ç¿’}
                    , russian     = {ÑƒÐ¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ñ}{ÑƒÐ¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Exercises}{Exercises}
                    , french      = [Les]{exercices}[Les]{exercices}
                    , ngerman     = { {Ãœbungen}{Ãœbungen}
                                      , Nominativ = [Die]{Ãœbungen}[Die]{Ãœbungen}
                                      , Genitiv   = [Der]{Ãœbungen}[Der]{Ãœbungen}
                                      , Dativ     = [Den]{Ãœbungen}[Den]{Ãœbungen}
                                      , Akkusativ = [Die]{Ãœbungen}[Die]{Ãœbungen}
                                    }
                    , italian     = [Gli]{esercizi}[Gli]{esercizi}
                    , portuguese  = [Os]{exercÃ­cios}[Os]{exercÃ­cios}
                    , brazilian   = [Os]{exercÃ­cios}[Os]{exercÃ­cios}
                    , spanish     = [Los]{ejercicios}[Los]{ejercicios}
                    , schinese    = {ä¹&nbsp;é¢˜}{ä¹&nbsp;é¢˜}
                    , tchinese    = {ç¿’é¡Œ}{ç¿’é¡Œ}
                    , japanese    = {ç·´ç¿’}{ç·´ç¿’}
                    , russian     = {Ð£Ð¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ñ}{Ð£Ð¿Ñ€Ð°Ð¶Ð½ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { facts }
  {
    , heading =   {
                    , english     = Facts
                    , french      = Faits
                    , ngerman     = Tatsachen
                    , italian     = Fatti
                    , portuguese  = Factos
                    , brazilian   = Fatos
                    , spanish     = Hechos
                    , schinese    = äº‹å®ž
                    , tchinese    = äº‹å¯¦
                    , japanese    = äº‹å®Ÿ
                    , russian     = Ð¤Ð°ÐºÑ‚Ñ‹
                  }
    , crefname =  {
                    , english     = {facts}{facts}
                    , french      = [les]{faits}[les]{faits}
                    , ngerman     = { {Tatsachen}{Tatsachen}
                                      , Nominativ = [die]{Tatsachen}[die]{Tatsachen}
                                      , Genitiv   = [der]{Tatsachen}[der]{Tatsachen}
                                      , Dativ     = [den]{Tatsachen}[den]{Tatsachen}
                                      , Akkusativ = [die]{Tatsachen}[die]{Tatsachen}
                                    }
                    , italian     = [i]{fatti}[i]{fatti}
                    , portuguese  = [os]{factos}[os]{factos}
                    , brazilian   = [os]{fatos}[os]{fatos}
                    , spanish     = [los]{hechos}[los]{hechos}
                    , schinese    = {äº‹å®ž}{äº‹å®ž}
                    , tchinese    = {äº‹å¯¦}{äº‹å¯¦}
                    , japanese    = {äº‹å®Ÿ}{äº‹å®Ÿ}
                    , russian     = {Ñ„Ð°ÐºÑ‚Ñ‹}{Ñ„Ð°ÐºÑ‚Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Facts}{Facts}
                    , french      = [Les]{faits}[Les]{faits}
                    , ngerman     = { {Tatsachen}{Tatsachen}
                                      , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen}
                                      , Genitiv   = [Der]{Tatsachen}[Der]{Tatsachen}
                                      , Dativ     = [Den]{Tatsachen}[Den]{Tatsachen}
                                      , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen}
                                    }
                    , italian     = [I]{fatti}[I]{fatti}
                    , portuguese  = [Os]{factos}[Os]{factos}
                    , brazilian   = [Os]{fatos}[Os]{fatos}
                    , spanish     = [Los]{hechos}[Los]{hechos}
                    , schinese    = {äº‹å®ž}{äº‹å®ž}
                    , tchinese    = {äº‹å¯¦}{äº‹å¯¦}
                    , japanese    = {äº‹å®Ÿ}{äº‹å®Ÿ}
                    , russian     = {Ð¤Ð°ÐºÑ‚Ñ‹}{Ð¤Ð°ÐºÑ‚Ñ‹}
                  }
  }

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

\NameTheorem { lemmas }
  {
    , heading   = {
                    , english     = Lemmas
                    , french      = Lemmes
                    , ngerman     = Lemmata
                    , italian     = Lemmi
                    , portuguese  = Lemas
                    , brazilian   = Lemas
                    , spanish     = Lemas
                    , schinese    = å¼•ç†
                    , tchinese    = å¼•ç†
                    , japanese    = è£œé¡Œ
                    , russian     = Ð›ÐµÐ¼Ð¼Ñ‹
                  }
    , crefname  = {
                    , english     = {Lemmas}{Lemmas}
                    , french      = [les]{lemmes}[les]{lemmes}
                    , ngerman     = { {Lemmata}{Lemmata}
                                      , Nominativ = [die]{Lemmata}[die]{Lemmata}
                                      , Genitiv   = [der]{Lemmata}[der]{Lemmata}
                                      , Dativ     = [den]{Lemmata}[den]{Lemmata}
                                      , Akkusativ = [die]{Lemmata}[die]{Lemmata}
                                    }
                    , italian     = [i]{lemmi}[i]{lemmi}
                    , portuguese  = [os]{lemas}[os]{lemas}
                    , brazilian   = [os]{lemas}[os]{lemas}
                    , spanish     = [las]{lemas}[las]{lemas}
                    , schinese    = {å¼•ç†}{å¼•ç†}
                    , tchinese    = {å¼•ç†}{å¼•ç†}
                    , japanese    = {è£œé¡Œ}{è£œé¡Œ}
                    , russian     = {Ð»ÐµÐ¼Ð¼Ñ‹}{Ð»ÐµÐ¼Ð¼Ñ‹}
                  }
    , Crefname  = {
                    , english     = {Lemmas}{Lemmas}
                    , french      = [Les]{lemmes}[Les]{lemmes}
                    , ngerman     = { {Lemmata}{Lemmata}
                                      , Nominativ = [Die]{Lemmata}[Die]{Lemmata}
                                      , Genitiv   = [Der]{Lemmata}[Der]{Lemmata}
                                      , Dativ     = [Den]{Lemmata}[Den]{Lemmata}
                                      , Akkusativ = [Die]{Lemmata}[Die]{Lemmata}
                                    }
                    , italian     = [I]{lemmi}[I]{lemmi}
                    , portuguese  = [Os]{lemas}[Os]{lemas}
                    , brazilian   = [Os]{lemas}[Os]{lemas}
                    , spanish     = [las]{lemas}[las]{lemas}
                    , schinese    = {å¼•ç†}{å¼•ç†}
                    , tchinese    = {å¼•ç†}{å¼•ç†}
                    , japanese    = {è£œé¡Œ}{è£œé¡Œ}
                    , russian     = {Ð›ÐµÐ¼Ð¼Ñ‹}{Ð›ÐµÐ¼Ð¼Ñ‹}
                  }
  }

\NameTheorem { motivations }
  {
    , heading =   {
                    , english     = Motivations
                    , french      = Motivations
                    , ngerman     = Motivationen
                    , italian     = Motivazioni
                    , portuguese  = MotivaÃ§Ãµes
                    , brazilian   = MotivaÃ§Ãµes
                    , spanish     = Motivaciones
                    , schinese    = åŠ¨æœº
                    , tchinese    = å‹•æ©Ÿ
                    , japanese    = å‹•æ©Ÿ
                    , russian     = ÐœÐ¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸
                  }
    , crefname =  {
                    , english     = {motivations}{motivations}
                    , french      = [les]{motivations}[les]{motivations}
                    , ngerman     = { {Motivationen}{Motivationen}
                                      , Nominativ = [die]{Motivationen}[die]{Motivationen}
                                      , Genitiv   = [der]{Motivationen}[der]{Motivationen}
                                      , Dativ     = [den]{Motivationen}[den]{Motivationen}
                                      , Akkusativ = [die]{Motivationen}[die]{Motivationen}
                                    }
                    , italian     = [le]{motivazioni}[le]{motivazioni}
                    , portuguese  = [as]{motivaÃ§Ãµes}[as]{motivaÃ§Ãµes}
                    , brazilian   = [as]{motivaÃ§Ãµes}[as]{motivaÃ§Ãµes}
                    , spanish     = [las]{motivaciones}[las]{motivaciones}
                    , schinese    = {åŠ¨æœº}{åŠ¨æœº}
                    , tchinese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , japanese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , russian     = {Ð¼Ð¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸}{Ð¼Ð¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸}
                  }
    , Crefname =  {
                    , english     = {Motivations}{Motivations}
                    , french      = [Les]{motivations}[Les]{motivations}
                    , ngerman     = { {Motivationen}{Motivationen}
                                      , Nominativ = [Die]{Motivationen}[Die]{Motivationen}
                                      , Genitiv   = [Der]{Motivationen}[Der]{Motivationen}
                                      , Dativ     = [Den]{Motivationen}[Den]{Motivationen}
                                      , Akkusativ = [Die]{Motivationen}[Die]{Motivationen}
                                    }
                    , italian     = [Le]{motivazioni}[Le]{motivazioni}
                    , portuguese  = [As]{motivaÃ§Ãµes}[As]{motivaÃ§Ãµes}
                    , brazilian   = [As]{motivaÃ§Ãµes}[As]{motivaÃ§Ãµes}
                    , spanish     = [Las]{motivaciones}[Las]{motivaciones}
                    , schinese    = {åŠ¨æœº}{åŠ¨æœº}
                    , tchinese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , japanese    = {å‹•æ©Ÿ}{å‹•æ©Ÿ}
                    , russian     = {ÐœÐ¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸}{ÐœÐ¾Ñ‚Ð¸Ð²Ð°Ñ†Ð¸Ð¸}
                  }
  }

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

\NameTheorem { observations }
  {
    , heading =   {
                    , english     = Observations
                    , french      = Observations
                    , ngerman     = Beobachtungen
                    , italian     = Osservazioni
                    , portuguese  = ObservaÃ§Ãµes
                    , brazilian   = ObservaÃ§Ãµes
                    , spanish     = Observaciones
                    , schinese    = è§‚å¯Ÿ
                    , tchinese    = è§€å¯Ÿ
                    , japanese    = è¦³å¯Ÿ
                    , russian     = ÐÐ°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {observations}{observations}
                    , french      = [les]{observations}[les]{observations}
                    , ngerman     = { {Beobachtungen}{Beobachtungen}
                                      , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen}
                                      , Genitiv   = [der]{Beobachtungen}[der]{Beobachtungen}
                                      , Dativ     = [den]{Beobachtungen}[den]{Beobachtungen}
                                      , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen}
                                    }
                    , italian     = [le]{osservazioni}[le]{osservazioni}
                    , portuguese  = [as]{observaÃ§Ãµes}[as]{observaÃ§Ãµes}
                    , brazilian   = [as]{observaÃ§Ãµes}[as]{observaÃ§Ãµes}
                    , spanish     = [las]{observaciones}[las]{observaciones}
                    , schinese    = {è§‚å¯Ÿ}{è§‚å¯Ÿ}
                    , tchinese    = {è§€å¯Ÿ}{è§€å¯Ÿ}
                    , japanese    = {è¦³å¯Ÿ}{è¦³å¯Ÿ}
                    , russian     = {Ð½Ð°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ}{Ð½Ð°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Observations}{Observations}
                    , french      = [Les]{observations}[Les]{observations}
                    , ngerman     = { {Beobachtungen}{Beobachtungen}
                                      , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
                                      , Genitiv   = [Der]{Beobachtungen}[Der]{Beobachtungen}
                                      , Dativ     = [Den]{Beobachtungen}[Den]{Beobachtungen}
                                      , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
                                    }
                    , italian     = [Le]{osservazioni}[Le]{osservazioni}
                    , portuguese  = [As]{observaÃ§Ãµes}[As]{observaÃ§Ãµes}
                    , brazilian   = [As]{observaÃ§Ãµes}[As]{observaÃ§Ãµes}
                    , spanish     = [Las]{observaciones}[Las]{observaciones}
                    , schinese    = {è§‚å¯Ÿ}{è§‚å¯Ÿ}
                    , tchinese    = {è§€å¯Ÿ}{è§€å¯Ÿ}
                    , japanese    = {è¦³å¯Ÿ}{è¦³å¯Ÿ}
                    , russian     = {ÐÐ°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ}{ÐÐ°Ð±Ð»ÑŽÐ´ÐµÐ½Ð¸Ñ}
                  }
  }

\NameTheorem { postulates }
  {
    , heading =   {
                    , english     = Postulates
                    , french      = Postulats
                    , ngerman     = Postulate
                    , italian     = Postulati
                    , portuguese  = Postulados
                    , brazilian   = Postulados
                    , spanish     = Postulados
                    , schinese    = å…¬è®¾
                    , tchinese    = å…¬è¨­
                    , japanese    = å…¬æº–
                    , russian     = ÐŸÐ¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹
                  }
    , crefname =  {
                    , english     = {postulates}{postulates}
                    , french      = [les]{postulats}[les]{postulats}
                    , ngerman     = { {Postulate}{Postulate}
                                      , Nominativ = [die]{Postulate}[die]{Postulate}
                                      , Genitiv   = [der]{Postulate}[der]{Postulate}
                                      , Dativ     = [den]{Postulaten}[den]{Postulaten}
                                      , Akkusativ = [die]{Postulate}[die]{Postulate}
                                    }
                    , italian     = [i]{postulati}[i]{postulati}
                    , portuguese  = [os]{postulados}[os]{postulados}
                    , brazilian   = [os]{postulados}[os]{postulados}
                    , spanish     = [los]{postulados}[los]{postulados}
                    , schinese    = {å…¬è®¾}{å…¬è®¾}
                    , tchinese    = {å…¬è¨­}{å…¬è¨­}
                    , japanese    = {å…¬æº–}{å…¬æº–}
                    , russian     = {Ð¿Ð¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹}{Ð¿Ð¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Postulates}{Postulates}
                    , french      = [Les]{postulats}[Les]{postulats}
                    , ngerman     = { {Postulate}{Postulate}
                                      , Nominativ = [Die]{Postulate}[Die]{Postulate}
                                      , Genitiv   = [Der]{Postulate}[Der]{Postulate}
                                      , Dativ     = [Den]{Postulaten}[Den]{Postulaten}
                                      , Akkusativ = [Die]{Postulate}[Die]{Postulate}
                                    }
                    , italian     = [I]{postulati}[I]{postulati}
                    , portuguese  = [Os]{postulados}[Os]{postulados}
                    , brazilian   = [Os]{postulados}[Os]{postulados}
                    , spanish     = [Los]{postulados}[Los]{postulados}
                    , schinese    = {å…¬è®¾}{å…¬è®¾}
                    , tchinese    = {å…¬è¨­}{å…¬è¨­}
                    , japanese    = {å…¬æº–}{å…¬æº–}
                    , russian     = {ÐŸÐ¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹}{ÐŸÐ¾ÑÑ‚ÑƒÐ»Ð°Ñ‚Ñ‹}
                  }
  }

\NameTheorem { problems }
  {
    , heading =   {
                    , english     = Problems
                    , french      = ProblÃ¨mes
                    , ngerman     = Probleme
                    , italian     = Problemi
                    , portuguese  = Problemas
                    , brazilian   = Problemas
                    , spanish     = Problemas
                    , schinese    = é—®é¢˜
                    , tchinese    = å•é¡Œ
                    , japanese    = å•é¡Œ
                    , russian     = ÐŸÑ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹
                  }
    , crefname =  {
                    , english     = {problems}{problems}
                    , french      = [les]{problÃ¨mes}[les]{problÃ¨mes}
                    , ngerman     = { {Probleme}{Probleme}
                                      , Nominativ = [die]{Probleme}[die]{Probleme}
                                      , Genitiv   = [der]{Probleme}[der]{Probleme}
                                      , Dativ     = [den]{Problemen}[den]{Problemen}
                                      , Akkusativ = [die]{Probleme}[die]{Probleme}
                                    }
                    , italian     = [i]{problemi}[i]{problemi}
                    , portuguese  = [os]{problemas}[os]{problemas}
                    , brazilian   = [os]{problemas}[os]{problemas}
                    , spanish     = [los]{problemas}[los]{problemas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {Ð¿Ñ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹}{Ð¿Ñ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Problems}{Problems}
                    , french      = [Les]{problÃ¨mes}[Les]{problÃ¨mes}
                    , ngerman     = { {Probleme}{Probleme}
                                      , Nominativ = [Die]{Probleme}[Die]{Probleme}
                                      , Genitiv   = [Der]{Probleme}[Der]{Probleme}
                                      , Dativ     = [Den]{Problemen}[Den]{Problemen}
                                      , Akkusativ = [Die]{Probleme}[Die]{Probleme}
                                    }
                    , italian     = [I]{problemi}[I]{problemi}
                    , portuguese  = [Os]{problemas}[Os]{problemas}
                    , brazilian   = [Os]{problemas}[Os]{problemas}
                    , spanish     = [Los]{problemas}[Los]{problemas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {ÐŸÑ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹}{ÐŸÑ€Ð¾Ð±Ð»ÐµÐ¼Ñ‹}
                  }
  }

\NameTheorem { properties }
  {
    , heading =   {
                    , english     = Properties
                    , french      = PropriÃ©tÃ©s
                    , ngerman     = Eigenschaften
                    , italian     = ProprietÃ&nbsp;
                    , portuguese  = Propriedades
                    , brazilian   = Propriedades
                    , spanish     = Propiedades
                    , schinese    = æ€§è´¨
                    , tchinese    = æ€§è³ª
                    , japanese    = æ€§è³ª
                    , russian     = Ð˜Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð°
                  }
    , crefname =  {
                    , english     = {properties}{properties}
                    , french      = [les]{propriÃ©tÃ©s}[les]{propriÃ©tÃ©s}
                    , ngerman     = { {Eigenschaften}{Eigenschaften}
                                      , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften}
                                      , Genitiv   = [der]{Eigenschaften}[der]{Eigenschaften}
                                      , Dativ     = [den]{Eigenschaften}[den]{Eigenschaften}
                                      , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften}
                                    }
                    , italian     = [le]{proprietÃ&nbsp;}[le]{proprietÃ&nbsp;}
                    , portuguese  = [as]{propriedades}[as]{propriedades}
                    , brazilian   = [as]{propriedades}[as]{propriedades}
                    , spanish     = [las]{propiedades}[las]{propiedades}
                    , schinese    = {æ€§è´¨}{æ€§è´¨}
                    , tchinese    = {æ€§è³ª}{æ€§è³ª}
                    , japanese    = {æ€§è³ª}{æ€§è³ª}
                    , russian     = {Ð¸Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð°}{Ð¸Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð°}
                  }
    , Crefname =  {
                    , english     = {Properties}{Properties}
                    , french      = [Les]{propriÃ©tÃ©s}[Les]{propriÃ©tÃ©s}
                    , ngerman     = { {Eigenschaften}{Eigenschaften}
                                      , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
                                      , Genitiv   = [Der]{Eigenschaften}[Der]{Eigenschaften}
                                      , Dativ     = [Den]{Eigenschaften}[Den]{Eigenschaften}
                                      , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
                                    }
                    , italian     = [Le]{proprietÃ&nbsp;}[Le]{proprietÃ&nbsp;}
                    , portuguese  = [As]{propriedades}[As]{propriedades}
                    , brazilian   = [As]{propriedades}[As]{propriedades}
                    , spanish     = [Las]{propiedades}[Las]{propiedades}
                    , schinese    = {æ€§è´¨}{æ€§è´¨}
                    , tchinese    = {æ€§è³ª}{æ€§è³ª}
                    , japanese    = {æ€§è³ª}{æ€§è³ª}
                    , russian     = {Ð˜Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð°}{Ð˜Ð¼ÑƒÑ‰ÐµÑÑ‚Ð²Ð°}
                  }
  }

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

\NameTheorem { questions }
  {
    , heading =   {
                    , english     = Questions
                    , french      = Questions
                    , ngerman     = Fragen
                    , italian     = Domande
                    , portuguese  = Perguntas
                    , brazilian   = Perguntas
                    , spanish     = Preguntas
                    , schinese    = é—®é¢˜
                    , tchinese    = å•é¡Œ
                    , japanese    = å•é¡Œ
                    , russian     = Ð’Ð¾Ð¿Ñ€Ð¾ÑÑ‹
                  }
    , crefname =  {
                    , english     = {questions}{questions}
                    , french      = [les]{questions}[les]{questions}
                    , ngerman     = { {Fragen}{Fragen}
                                      , Nominativ = [die]{Fragen}[die]{Fragen}
                                      , Genitiv   = [der]{Fragen}[der]{Fragen}
                                      , Dativ     = [den]{Fragen}[den]{Fragen}
                                      , Akkusativ = [die]{Fragen}[die]{Fragen}
                                    }
                    , italian     = [le]{domande}[le]{domande}
                    , portuguese  = [as]{perguntas}[as]{perguntas}
                    , brazilian   = [as]{perguntas}[as]{perguntas}
                    , spanish     = [las]{preguntas}[las]{preguntas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {Ð²Ð¾Ð¿Ñ€Ð¾ÑÑ‹}{Ð²Ð¾Ð¿Ñ€Ð¾ÑÑ‹}
                  }
    , Crefname =  {
                    , english     = {Questions}{Questions}
                    , french      = [Les]{questions}[Les]{questions}
                    , ngerman     = { {Fragen}{Fragen}
                                      , Nominativ = [Die]{Fragen}[Die]{Fragen}
                                      , Genitiv   = [Der]{Fragen}[Der]{Fragen}
                                      , Dativ     = [Den]{Fragen}[Den]{Fragen}
                                      , Akkusativ = [Die]{Fragen}[Die]{Fragen}
                                    }
                    , italian     = [Le]{domande}[Le]{domande}
                    , portuguese  = [As]{perguntas}[As]{perguntas}
                    , brazilian   = [As]{perguntas}[As]{perguntas}
                    , spanish     = [Las]{preguntas}[Las]{preguntas}
                    , schinese    = {é—®é¢˜}{é—®é¢˜}
                    , tchinese    = {å•é¡Œ}{å•é¡Œ}
                    , japanese    = {å•é¡Œ}{å•é¡Œ}
                    , russian     = {Ð’Ð¾Ð¿Ñ€Ð¾ÑÑ‹}{Ð’Ð¾Ð¿Ñ€Ð¾ÑÑ‹}
                  }
  }

\NameTheorem { recalls }
  {
    , heading =   {
                    , english     = Recalls
                    , french      = Rappels
                    , ngerman     = Erinnerungen
                    , italian     = Richiami
                    , portuguese  = RecordaÃ§Ãµes
                    , brazilian   = RecordaÃ§Ãµes
                    , spanish     = Recuerdos
                    , schinese    = å›žé¡¾
                    , tchinese    = å›žé¡§
                    , japanese    = å›žé¡§
                    , russian     = ÐÐ°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {recalls}{recalls}
                    , french      = [les]{rappels}[les]{rappels}
                    , ngerman     = { {Erinnerungen}{Erinnerungen}
                                      , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen}
                                      , Genitiv   = [der]{Erinnerungen}[der]{Erinnerungen}
                                      , Dativ     = [den]{Erinnerungen}[den]{Erinnerungen}
                                      , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen}
                                    }
                    , italian     = [i]{richiami}[i]{richiami}
                    , portuguese  = [as]{recordaÃ§Ãµes}[as]{recordaÃ§Ãµes}
                    , brazilian   = [as]{recordaÃ§Ãµes}[as]{recordaÃ§Ãµes}
                    , spanish     = [los]{recuerdos}[los]{recuerdos}
                    , schinese    = {å›žé¡¾}{å›žé¡¾}
                    , tchinese    = {å›žé¡§}{å›žé¡§}
                    , japanese    = {å›žé¡§}{å›žé¡§}
                    , russian     = {Ð½Ð°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ}{Ð½Ð°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Recalls}{Recalls}
                    , french      = [Les]{rappels}[Les]{rappels}
                    , ngerman     = { {Erinnerungen}{Erinnerungen}
                                      , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
                                      , Genitiv   = [Der]{Erinnerungen}[Der]{Erinnerungen}
                                      , Dativ     = [Den]{Erinnerungen}[Den]{Erinnerungen}
                                      , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
                                    }
                    , italian     = [I]{richiami}[I]{richiami}
                    , portuguese  = [As]{recordaÃ§Ãµes}[As]{recordaÃ§Ãµes}
                    , brazilian   = [As]{recordaÃ§Ãµes}[As]{recordaÃ§Ãµes}
                    , spanish     = [Los]{recuerdos}[Los]{recuerdos}
                    , schinese    = {å›žé¡¾}{å›žé¡¾}
                    , tchinese    = {å›žé¡§}{å›žé¡§}
                    , japanese    = {å›žé¡§}{å›žé¡§}
                    , russian     = {ÐÐ°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ}{ÐÐ°Ð¿Ð¾Ð¼Ð¸Ð½Ð°Ð½Ð¸Ñ}
                  }
  }

\NameTheorem { remarks }
  {
    , heading =   {
                    , english     = Remarks
                    , french      = Remarques
                    , ngerman     = Bemerkungen
                    , italian     = Commenti
                    , portuguese  = ComentÃ¡rios
                    , brazilian   = ComentÃ¡rios
                    , spanish     = Comentarios
                    , schinese    = å¤‡æ³¨
                    , tchinese    = å‚™è¨»
                    , japanese    = æ³¨é‡ˆ
                    , russian     = Ð—Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ
                  }
    , crefname =  {
                    , english     = {remarks}{remarks}
                    , french      = [les]{remarques}[les]{remarques}
                    , ngerman     = { {Bemerkungen}{Bemerkungen}
                                      , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen}
                                      , Genitiv   = [der]{Bemerkungen}[der]{Bemerkungen}
                                      , Dativ     = [den]{Bemerkungen}[den]{Bemerkungen}
                                      , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen}
                                    }
                    , italian     = [i]{commenti}[i]{commenti}
                    , portuguese  = [os]{comentÃ¡rios}[os]{comentÃ¡rios}
                    , brazilian   = [os]{comentÃ¡rios}[os]{comentÃ¡rios}
                    , spanish     = [los]{comentarios}[los]{comentarios}
                    , schinese    = {å¤‡æ³¨}{å¤‡æ³¨}
                    , tchinese    = {å‚™è¨»}{å‚™è¨»}
                    , japanese    = {æ³¨é‡ˆ}{æ³¨é‡ˆ}
                    , russian     = {Ð·Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ}{Ð·Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ}
                  }
    , Crefname =  {
                    , english     = {Remarks}{Remarks}
                    , french      = [Les]{remarques}[Les]{remarques}
                    , ngerman     = { {Bemerkungen}{Bemerkungen}
                                      , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
                                      , Genitiv   = [Der]{Bemerkungen}[Der]{Bemerkungen}
                                      , Dativ     = [Den]{Bemerkungen}[Den]{Bemerkungen}
                                      , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
                                    }
                    , italian     = [I]{commenti}[I]{commenti}
                    , portuguese  = [Os]{comentÃ¡rios}[Os]{comentÃ¡rios}
                    , brazilian   = [Os]{comentÃ¡rios}[Os]{comentÃ¡rios}
                    , spanish     = [Los]{comentarios}[Los]{comentarios}
                    , schinese    = {å¤‡æ³¨}{å¤‡æ³¨}
                    , tchinese    = {å‚™è¨»}{å‚™è¨»}
                    , japanese    = {æ³¨é‡ˆ}{æ³¨é‡ˆ}
                    , russian     = {Ð—Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ}{Ð—Ð°Ð¼ÐµÑ‡Ð°Ð½Ð¸Ñ}
                  }
  }

\NameTheorem { theorems }
  {
    , heading =   {
                    , english     = Theorems
                    , french      = ThÃ©orÃ¨mes
                    , ngerman     = SÃ¤tze
                    , italian     = Teoremi
                    , portuguese  = Teoremas
                    , brazilian   = Teoremas
                    , spanish     = Teoremas
                    , schinese    = å®šç†
                    , tchinese    = å®šç†
                    , japanese    = å®šç†
                    , russian     = Ð¢ÐµÐ¾Ñ€ÐµÐ¼Ñ‹
                  }
    , crefname =  {
                    , english     = {theorems}{theorems}
                    , french      = [les]{thÃ©orÃ¨mes}[les]{thÃ©orÃ¨mes}
                    , ngerman     = { {SÃ¤tze}{SÃ¤tze}
                                      , Nominativ = [die]{SÃ¤tze}[die]{SÃ¤tze}
                                      , Genitiv   = [der]{SÃ¤tze}[der]{SÃ¤tze}
                                      , Dativ     = [den]{SÃ¤tzen}[den]{SÃ¤tzen}
                                      , Akkusativ = [die]{SÃ¤tze}[die]{SÃ¤tze}
                                    }
                    , italian     = [i]{teoremi}[i]{teoremi}
                    , portuguese  = [os]{teoremas}[os]{teoremas}
                    , brazilian   = [os]{teoremas}[os]{teoremas}
                    , spanish     = [los]{teoremas}[los]{teoremas}
                    , schinese    = {å®šç†}{å®šç†}
                    , tchinese    = {å®šç†}{å®šç†}
                    , japanese    = {å®šç†}{å®šç†}
                    , russian     = {Ñ‚ÐµÐ¾Ñ€ÐµÐ¼Ñ‹}{Ñ‚ÐµÐ¾Ñ€ÐµÐ¼Ñ‹}
                  }
    , Crefname =  {
                    , english     = {Theorems}{Theorems}
                    , french      = [Les]{thÃ©orÃ¨mes}[Les]{thÃ©orÃ¨mes}
                    , ngerman     = { {SÃ¤tze}{SÃ¤tze}
                                      , Nominativ = [Die]{SÃ¤tze}[Die]{SÃ¤tze}
                                      , Genitiv   = [Der]{SÃ¤tze}[Der]{SÃ¤tze}
                                      , Dativ     = [Den]{SÃ¤tzen}[Den]{SÃ¤tzen}
                                      , Akkusativ = [Die]{SÃ¤tze}[Die]{SÃ¤tze}
                                    }
                    , italian     = [I]{teoremi}[I]{teoremi}
                    , portuguese  = [Os]{teoremas}[Os]{teoremas}
                    , brazilian   = [Os]{teoremas}[Os]{teoremas}
                    , spanish     = [Los]{teoremas}[Los]{teoremas}
                    , schinese    = {å®šç†}{å®šç†}
                    , tchinese    = {å®šç†}{å®šç†}
                    , japanese    = {å®šç†}{å®šç†}
                    , russian     = {Ð¢ÐµÐ¾Ñ€ÐµÐ¼Ñ‹}{Ð¢ÐµÐ¾Ñ€ÐµÐ¼Ñ‹}
                  }
  }
</pre></body></html>