summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/projlib/ProjLib.dtx
diff options
context:
space:
mode:
Diffstat (limited to 'macros/latex/contrib/projlib/ProjLib.dtx')
-rw-r--r--macros/latex/contrib/projlib/ProjLib.dtx1636
1 files changed, 1618 insertions, 18 deletions
diff --git a/macros/latex/contrib/projlib/ProjLib.dtx b/macros/latex/contrib/projlib/ProjLib.dtx
index 1172d3e4ad..1f4cceb73e 100644
--- a/macros/latex/contrib/projlib/ProjLib.dtx
+++ b/macros/latex/contrib/projlib/ProjLib.dtx
@@ -19,84 +19,84 @@
%<*ProjLib>
\ProvidesExplPackage
{ProjLib}
- {2024/02/03} {}
+ {2024/02/20} {}
{Collective interface of the ProjLib toolkit}
%</ProjLib>
%
%<*projlib-author>
\ProvidesExplPackage
{projlib-author}
- {2024/02/03} {}
+ {2024/02/20} {}
{Enhanced author information block}
%</projlib-author>
%
%<*projlib-datetime>
\ProvidesExplPackage
{projlib-datetime}
- {2024/02/03} {}
+ {2024/02/20} {}
{Convert numeric date-time string to natural language}
%</projlib-datetime>
%
%<*projlib-draft>
\ProvidesExplPackage
{projlib-draft}
- {2024/02/03} {}
+ {2024/02/20} {}
{Useful commands during draft stage}
%</projlib-draft>
%
%<*projlib-font>
\ProvidesExplPackage
{projlib-font}
- {2024/02/03} {}
+ {2024/02/20} {}
{Font selection and configuration}
%</projlib-font>
%
%<*projlib-language>
\ProvidesExplPackage
{projlib-language}
- {2024/02/03} {}
+ {2024/02/20} {}
{Multi-language configuration}
%</projlib-language>
%
%<*projlib-logo>
\ProvidesExplPackage
{projlib-logo}
- {2024/02/03} {}
+ {2024/02/20} {}
{The ProjLib logo}
%</projlib-logo>
%
%<*projlib-math>
\ProvidesExplPackage
{projlib-math}
- {2024/02/03} {}
+ {2024/02/20} {}
{Efficient math setup}
%</projlib-math>
%
%<*projlib-paper>
\ProvidesExplPackage
{projlib-paper}
- {2024/02/03} {}
+ {2024/02/20} {}
{Configuration of the paper style}
%</projlib-paper>
%
%<*projlib-text>
\ProvidesExplPackage
{projlib-text}
- {2024/02/03} {}
+ {2024/02/20} {}
{Text-related commands}
%</projlib-text>
%
%<*projlib-theorem>
\ProvidesExplPackage
{projlib-theorem}
- {2024/02/03} {}
+ {2024/02/20} {}
{Configuration of theorem-like environments}
%</projlib-theorem>
%
%<*projlib-titlepage>
\ProvidesExplPackage
{projlib-titlepage}
- {2024/02/03} {}
+ {2024/02/20} {}
{Interface for title page rendering}
%</projlib-titlepage>
@@ -3938,6 +3938,7 @@
assumption ,
axiom ,
claim ,
+ commentary ,
conclusion ,
conjecture ,
construction ,
@@ -3949,6 +3950,7 @@
fact ,
hypothesis ,
lemma ,
+ motivation ,
notation ,
observation ,
postulate ,
@@ -3965,6 +3967,34 @@
corollary-definition ,
proposition-definition ,
theorem-definition ,
+ applications ,
+ assertions ,
+ assumptions ,
+ axioms ,
+ claims ,
+ commentaries ,
+ conclusions ,
+ conjectures ,
+ constructions ,
+ conventions ,
+ corollaries ,
+ definitions ,
+ examples ,
+ exercises ,
+ facts ,
+ hypotheses ,
+ lemmas ,
+ motivations ,
+ notations ,
+ observations ,
+ postulates ,
+ problems ,
+ properties ,
+ propositions ,
+ questions ,
+ recalls ,
+ remarks ,
+ theorems ,
}
\@ifclassloaded { beamer }
@@ -4512,6 +4542,49 @@
}
}
+\NameTheorem { commentary }
+ {
+ , heading = {
+ , english = Commentary
+ , french = Commentaire
+ , ngerman = Kommentar
+ , italian = Commento
+ , portuguese = Comentário
+ , brazilian = Comentário
+ , spanish = Comentario
+ , schinese = 解说
+ , tchinese = 解說
+ , japanese = 解説 % コメント
+ , russian = Комментарий
+ }
+ , crefname = {
+ , english = {Commentary}{Commentary}
+ , french = [la]{Commentaire}[les]{Commentaire}
+ , ngerman = {Kommentar}{Kommentar}
+ , italian = [il]{Commento}[i]{Commento}
+ , portuguese = [o]{Comentário}[os]{Comentário}
+ , brazilian = [o]{Comentário}[os]{Comentário}
+ , spanish = [el]{Comentario}[los]{Comentario}
+ , schinese = {解说}{解说}
+ , tchinese = {解說}{解說}
+ , japanese = {解説}{解説}
+ , russian = {Комментарий}{Комментарий}
+ }
+ , Crefname = {
+ , english = {Commentary}{Commentary}
+ , french = [La]{Commentaire}[Les]{Commentaire}
+ , ngerman = {Kommentar}{Kommentar}
+ , italian = [Il]{Commento}[I]{Commento}
+ , portuguese = [O]{Comentário}[Os]{Comentário}
+ , brazilian = [O]{Comentário}[Os]{Comentário}
+ , spanish = [El]{Comentario}[Los]{Comentario}
+ , schinese = {解说}{解说}
+ , tchinese = {解說}{解說}
+ , japanese = {解説}{解説}
+ , russian = {Комментарий}{Комментарий}
+ }
+ }
+
\NameTheorem { conclusion }
{
, heading = {
@@ -4823,8 +4896,8 @@
, portuguese = Exercício
, brazilian = Exercício
, spanish = Ejercicio
- , schinese = 练习
- , tchinese = 練習
+ , schinese = 习题
+ , tchinese = 習題
, japanese = 練習
, russian = Упражнение
}
@@ -4836,8 +4909,8 @@
, portuguese = [o]{Exercício}[os]{Exercício}
, brazilian = [o]{Exercício}[os]{Exercício}
, spanish = [el]{Ejercicio}[los]{Ejercicio}
- , schinese = {练习}{练习}
- , tchinese = {練習}{練習}
+ , schinese = {习题}{习题}
+ , tchinese = {習題}{習題}
, japanese = {練習}{練習}
, russian = {Упражнение}{Упражнение}
}
@@ -4849,8 +4922,8 @@
, portuguese = [O]{Exercício}[Os]{Exercício}
, brazilian = [O]{Exercício}[Os]{Exercício}
, spanish = [El]{Ejercicio}[Los]{Ejercicio}
- , schinese = {练习}{练习}
- , tchinese = {練習}{練習}
+ , schinese = {习题}{习题}
+ , tchinese = {習題}{習題}
, japanese = {練習}{練習}
, russian = {Упражнение}{Упражнение}
}
@@ -4985,6 +5058,49 @@
}
}
+\NameTheorem { motivation }
+ {
+ , heading = {
+ , english = Motivation
+ , french = Motivation
+ , ngerman = Motivation
+ , italian = Motivazione
+ , portuguese = Motivação
+ , brazilian = Motivação
+ , spanish = Motivacion
+ , schinese = 动机
+ , tchinese = 動機
+ , japanese = 動機 % モチベーション
+ , russian = Мотивация
+ }
+ , crefname = {
+ , english = {Motivation}{Motivation}
+ , french = [la]{Motivation}[les]{Motivation}
+ , ngerman = {Motivation}{Motivation}
+ , italian = [la]{Motivazione}[le]{Motivazione}
+ , portuguese = [a]{Motivação}[as]{Motivação}
+ , brazilian = [a]{Motivação}[as]{Motivação}
+ , spanish = [la]{Motivacion}[las]{Motivacion}
+ , schinese = {动机}{动机}
+ , tchinese = {動機}{動機}
+ , japanese = {動機}{動機}
+ , russian = {Мотивация}{Мотивация}
+ }
+ , Crefname = {
+ , english = {Motivation}{Motivation}
+ , french = [La]{Motivation}[Les]{Motivation}
+ , ngerman = {Motivation}{Motivation}
+ , italian = [La]{Motivazione}[Le]{Motivazione}
+ , portuguese = [A]{Motivação}[As]{Motivação}
+ , brazilian = [A]{Motivação}[As]{Motivação}
+ , spanish = [La]{Motivacion}[Las]{Motivacion}
+ , schinese = {动机}{动机}
+ , tchinese = {動機}{動機}
+ , japanese = {動機}{動機}
+ , russian = {Мотивация}{Мотивация}
+ }
+ }
+
\NameTheorem { notation }
{
, heading = {
@@ -5422,6 +5538,1490 @@
\NameTheorem { corollary-definition } { combined = { corollary ; definition } }
\NameTheorem { proposition-definition } { combined = { proposition ; definition } }
\NameTheorem { theorem-definition } { combined = { theorem ; definition } }
+
+\NameTheorem { applications }
+ {
+ , heading = {
+ , english = Applications
+ , french = Applications
+ , ngerman = Anwendungen
+ , italian = Applicazioni
+ , portuguese = Aplicações
+ , brazilian = Aplicações
+ , spanish = Aplicaciones
+ , schinese = 应用
+ , tchinese = 應用
+ , japanese = 応用
+ , russian = Приложения
+ }
+ , crefname = {
+ , english = {Applications}{Applications}
+ , french = [les]{Applications}[les]{Applications}
+ , ngerman = { {Anwendungen}{Anwendungen}
+ , Nominativ = [die]{Anwendungen}[die]{Anwendungen}
+ , Genitiv = [der]{Anwendungen}[der]{Anwendungen}
+ , Dativ = [den]{Anwendungen}[den]{Anwendungen}
+ , Akkusativ = [die]{Anwendungen}[die]{Anwendungen}
+ }
+ , italian = [le]{Applicazioni}[le]{Applicazioni}
+ , portuguese = [as]{Aplicações}[as]{Aplicações}
+ , brazilian = [as]{Aplicações}[as]{Aplicações}
+ , spanish = [las]{Aplicaciones}[las]{Aplicaciones}
+ , schinese = {应用}{应用}
+ , tchinese = {應用}{應用}
+ , japanese = {応用}{応用}
+ , russian = {Приложения}{Приложения}
+ }
+ , Crefname = {
+ , english = {Applications}{Applications}
+ , french = [Les]{Applications}[Les]{Applications}
+ , ngerman = { {Anwendungen}{Anwendungen}
+ , Nominativ = [Die]{Anwendungen}[Die]{Anwendungen}
+ , Genitiv = [Der]{Anwendungen}[Der]{Anwendungen}
+ , Dativ = [Den]{Anwendungen}[Den]{Anwendungen}
+ , Akkusativ = [Die]{Anwendungen}[Die]{Anwendungen}
+ }
+ , italian = [Le]{Applicazioni}[Le]{Applicazioni}
+ , portuguese = [As]{Aplicações}[As]{Aplicações}
+ , brazilian = [As]{Aplicações}[As]{Aplicações}
+ , spanish = [Las]{Aplicaciones}[Las]{Aplicaciones}
+ , schinese = {应用}{应用}
+ , tchinese = {應用}{應用}
+ , japanese = {応用}{応用}
+ , russian = {Приложения}{Приложения}
+ }
+ }
+
+\NameTheorem { assertions }
+ {
+ , heading = {
+ , english = Assertions
+ , french = Assertions
+ , ngerman = Assertionen
+ , italian = Asserzioni
+ , portuguese = Asserções
+ , brazilian = Asserções
+ , spanish = Aserciones
+ , schinese = 断言
+ , tchinese = 斷言
+ , japanese = 断言
+ , russian = Утверждения
+ }
+ , crefname = {
+ , english = {Assertions}{Assertions}
+ , french = [les]{Assertions}[les]{Assertions}
+ , ngerman = { {Assertionen}{Assertionen}
+ , Nominativ = [die]{Assertionen}[die]{Assertionen}
+ , Genitiv = [der]{Assertionen}[der]{Assertionen}
+ , Dativ = [den]{Assertionen}[den]{Assertionen}
+ , Akkusativ = [die]{Assertionen}[die]{Assertionen}
+ }
+ , italian = [le]{Asserzioni}[le]{Asserzioni}
+ , portuguese = [as]{Asserções}[as]{Asserções}
+ , brazilian = [as]{Asserções}[as]{Asserções}
+ , spanish = [las]{Aserciones}[las]{Aserciones}
+ , schinese = {断言}{断言}
+ , tchinese = {斷言}{斷言}
+ , japanese = {断言}{断言}
+ , russian = {Утверждения}{Утверждения}
+ }
+ , Crefname = {
+ , english = {Assertions}{Assertions}
+ , french = [Les]{Assertions}[Les]{Assertions}
+ , ngerman = { {Assertionen}{Assertionen}
+ , Nominativ = [Die]{Assertionen}[Die]{Assertionen}
+ , Genitiv = [Der]{Assertionen}[Der]{Assertionen}
+ , Dativ = [Den]{Assertionen}[Den]{Assertionen}
+ , Akkusativ = [Die]{Assertionen}[Die]{Assertionen}
+ }
+ , italian = [Le]{Asserzioni}[Le]{Asserzioni}
+ , portuguese = [As]{Asserções}[As]{Asserções}
+ , brazilian = [As]{Asserções}[As]{Asserções}
+ , spanish = [Las]{Aserciones}[Las]{Aserciones}
+ , schinese = {断言}{断言}
+ , tchinese = {斷言}{斷言}
+ , japanese = {断言}{断言}
+ , russian = {Утверждения}{Утверждения}
+ }
+ }
+
+\NameTheorem { assumptions }
+ {
+ , heading = {
+ , english = Assumptions
+ , french = Suppositions
+ , ngerman = Annahmen
+ , italian = Supposizioni
+ , portuguese = Suposições
+ , brazilian = Suposições
+ , spanish = Suposiciones
+ , schinese = 假定
+ , tchinese = 假定
+ , japanese = 仮定
+ , russian = Предположения
+ }
+ , crefname = {
+ , english = {Assumptions}{Assumptions}
+ , french = [les]{Suppositions}[les]{Suppositions}
+ , ngerman = { {Annahmen}{Annahmen}
+ , Nominativ = [die]{Annahmen}[die]{Annahmen}
+ , Genitiv = [der]{Annahmen}[der]{Annahmen}
+ , Dativ = [den]{Annahmen}[den]{Annahmen}
+ , Akkusativ = [die]{Annahmen}[die]{Annahmen}
+ }
+ , italian = [le]{Supposizioni}[le]{Supposizioni}
+ , portuguese = [as]{Suposições}[as]{Suposições}
+ , brazilian = [as]{Suposições}[as]{Suposições}
+ , spanish = [las]{Suposiciones}[las]{Suposiciones}
+ , schinese = {假定}{假定}
+ , tchinese = {假定}{假定}
+ , japanese = {仮定}{仮定}
+ , russian = {Предположения}{Предположения}
+ }
+ , Crefname = {
+ , english = {Assumptions}{Assumptions}
+ , french = [Les]{Suppositions}[Les]{Suppositions}
+ , ngerman = { {Annahmen}{Annahmen}
+ , Nominativ = [Die]{Annahmen}[Die]{Annahmen}
+ , Genitiv = [Der]{Annahmen}[Der]{Annahmen}
+ , Dativ = [Den]{Annahmen}[Den]{Annahmen}
+ , Akkusativ = [Die]{Annahmen}[Die]{Annahmen}
+ }
+ , italian = [le]{Supposizioni}[le]{Supposizioni}
+ , portuguese = [As]{Suposições}[As]{Suposições}
+ , brazilian = [As]{Suposições}[As]{Suposições}
+ , spanish = [Las]{Suposiciones}[Las]{Suposiciones}
+ , schinese = {假定}{假定}
+ , tchinese = {假定}{假定}
+ , japanese = {仮定}{仮定}
+ , russian = {Предположения}{Предположения}
+ }
+ }
+
+\NameTheorem { axioms }
+ {
+ , heading = {
+ , english = Axioms
+ , french = Axiomes
+ , ngerman = Axiome
+ , italian = Assiomi
+ , portuguese = Axiomas
+ , brazilian = Axiomas
+ , spanish = Axiomas
+ , schinese = 公理
+ , tchinese = 公理
+ , japanese = 公理
+ , russian = Аксиомы
+ }
+ , crefname = {
+ , english = {Axioms}{Axioms}
+ , french = [les]{Axiomes}[les]{Axiomes}
+ , ngerman = { {Axiome}{Axiome}
+ , Nominativ = [die]{Axiome}[die]{Axiome}
+ , Genitiv = [der]{Axiome}[der]{Axiome}
+ , Dativ = [den]{Axiomen}[den]{Axiomen}
+ , Akkusativ = [die]{Axiome}[die]{Axiome}
+ }
+ , italian = [gli]{Assiomi}[gli]{Assiomi}
+ , portuguese = [os]{Axiomas}[os]{Axiomas}
+ , brazilian = [os]{Axiomas}[os]{Axiomas}
+ , spanish = [los]{Axiomas}[los]{Axiomas}
+ , schinese = {公理}{公理}
+ , tchinese = {公理}{公理}
+ , japanese = {公理}{公理}
+ , russian = {Аксиомы}{Аксиомы}
+ }
+ , Crefname = {
+ , english = {Axioms}{Axioms}
+ , french = [Les]{Axiomes}[Les]{Axiomes}
+ , ngerman = { {Axiome}{Axiome}
+ , Nominativ = [Die]{Axiome}[Die]{Axiome}
+ , Genitiv = [Der]{Axiome}[Der]{Axiome}
+ , Dativ = [Den]{Axiomen}[Den]{Axiomen}
+ , Akkusativ = [Die]{Axiome}[Die]{Axiome}
+ }
+ , italian = [Gli]{Assiomi}[Gli]{Assiomi}
+ , portuguese = [Os]{Axiomas}[Os]{Axiomas}
+ , brazilian = [Os]{Axiomas}[Os]{Axiomas}
+ , spanish = [Los]{Axiomas}[Los]{Axiomas}
+ , schinese = {公理}{公理}
+ , tchinese = {公理}{公理}
+ , japanese = {公理}{公理}
+ , russian = {Аксиомы}{Аксиомы}
+ }
+ }
+
+\NameTheorem { claims }
+ {
+ , heading = {
+ , english = Claims
+ , french = Affirmations
+ , ngerman = Behauptungen
+ , italian = Affermazioni
+ , portuguese = Afirmações
+ , brazilian = Afirmações
+ , spanish = Afirmaciones
+ , schinese = 断言
+ , tchinese = 斷言
+ , japanese = 断言
+ , russian = Утверждения
+ }
+ , crefname = {
+ , english = {Claims}{Claims}
+ , french = [les]{Affirmations}[les]{Affirmations}
+ , ngerman = { {Behauptungen}{Behauptungen}
+ , Nominativ = [die]{Behauptungen}[die]{Behauptungen}
+ , Genitiv = [der]{Behauptungen}[der]{Behauptungen}
+ , Dativ = [den]{Behauptungen}[den]{Behauptungen}
+ , Akkusativ = [die]{Behauptungen}[die]{Behauptungen}
+ }
+ , italian = [le]{Affermazioni}[le]{Affermazioni}
+ , portuguese = [as]{Afirmações}[as]{Afirmações}
+ , brazilian = [as]{Afirmações}[as]{Afirmações}
+ , spanish = [las]{Afirmaciones}[las]{Afirmaciones}
+ , schinese = {断言}{断言}
+ , tchinese = {斷言}{斷言}
+ , japanese = {断言}{断言}
+ , russian = {Утверждения}{Утверждения}
+ }
+ , Crefname = {
+ , english = {Claims}{Claims}
+ , french = [Les]{Affirmations}[Les]{Affirmations}
+ , ngerman = { {Behauptungen}{Behauptungen}
+ , Nominativ = [Die]{Behauptungen}[Die]{Behauptungen}
+ , Genitiv = [Der]{Behauptungen}[Der]{Behauptungen}
+ , Dativ = [Den]{Behauptungen}[Den]{Behauptungen}
+ , Akkusativ = [Die]{Behauptungen}[Die]{Behauptungen}
+ }
+ , italian = [Le]{Affermazioni}[Le]{Affermazioni}
+ , portuguese = [As]{Afirmações}[As]{Afirmações}
+ , brazilian = [As]{Afirmações}[As]{Afirmações}
+ , spanish = [Las]{Afirmaciones}[Las]{Afirmaciones}
+ , schinese = {断言}{断言}
+ , tchinese = {斷言}{斷言}
+ , japanese = {断言}{断言}
+ , russian = {Утверждения}{Утверждения}
+ }
+ }
+
+\NameTheorem { commentaries }
+ {
+ , heading = {
+ , english = Commentaries
+ , french = Commentaires
+ , ngerman = Kommentare
+ , italian = Commenti
+ , portuguese = Comentários
+ , brazilian = Comentários
+ , spanish = Comentarios
+ , schinese = 解说
+ , tchinese = 解說
+ , japanese = 解説
+ , russian = Комментарии
+ }
+ , crefname = {
+ , english = {Commentaries}{Commentaries}
+ , french = [les]{Commentaires}[les]{Commentaires}
+ , ngerman = { {Kommentare}{Kommentare}
+ , Nominativ = [die]{Kommentare}[die]{Kommentare}
+ , Genitiv = [der]{Kommentare}[der]{Kommentare}
+ , Dativ = [den]{Kommentaren}[den]{Kommentaren}
+ , Akkusativ = [die]{Kommentare}[die]{Kommentare}
+ }
+ , italian = [i]{Commenti}[i]{Commenti}
+ , portuguese = [os]{Comentários}[os]{Comentários}
+ , brazilian = [os]{Comentários}[os]{Comentários}
+ , spanish = [los]{Comentarios}[los]{Comentarios}
+ , schinese = {解说}{解说}
+ , tchinese = {解說}{解說}
+ , japanese = {解説}{解説}
+ , russian = {Комментарии}{Комментарии}
+ }
+ , Crefname = {
+ , english = {Commentaries}{Commentaries}
+ , french = [Les]{Commentaires}[Les]{Commentaires}
+ , ngerman = { {Kommentare}{Kommentare}
+ , Nominativ = [Die]{Kommentare}[Die]{Kommentare}
+ , Genitiv = [Der]{Kommentare}[Der]{Kommentare}
+ , Dativ = [Den]{Kommentaren}[Den]{Kommentaren}
+ , Akkusativ = [Die]{Kommentare}[Die]{Kommentare}
+ }
+ , italian = [I]{Commenti}[I]{Commenti}
+ , portuguese = [Os]{Comentários}[Os]{Comentários}
+ , brazilian = [Os]{Comentários}[Os]{Comentários}
+ , spanish = [Los]{Comentarios}[Los]{Comentarios}
+ , schinese = {解说}{解说}
+ , tchinese = {解說}{解說}
+ , japanese = {解説}{解説}
+ , russian = {Комментарии}{Комментарии}
+ }
+ }
+
+\NameTheorem { conclusions }
+ {
+ , heading = {
+ , english = Conclusions
+ , french = Conclusions
+ , ngerman = Schlussfolgerungen
+ , italian = Conclusioni
+ , portuguese = Conclusões
+ , brazilian = Conclusões
+ , spanish = Conclusiones
+ , schinese = 结论
+ , tchinese = 結論
+ , japanese = 結論
+ , russian = Выводы
+ }
+ , crefname = {
+ , english = {Conclusions}{Conclusions}
+ , french = [Les]{Conclusions}[Les]{Conclusions}
+ , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen}
+ , Nominativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
+ , Genitiv = [der]{Schlussfolgerungen}[der]{Schlussfolgerungen}
+ , Dativ = [den]{Schlussfolgerungen}[den]{Schlussfolgerungen}
+ , Akkusativ = [die]{Schlussfolgerungen}[die]{Schlussfolgerungen}
+ }
+ , italian = [le]{Conclusioni}[le]{Conclusioni}
+ , portuguese = [as]{Conclusões}[as]{Conclusões}
+ , brazilian = [as]{Conclusões}[as]{Conclusões}
+ , spanish = [las]{Conclusiones}[las]{Conclusiones}
+ , schinese = {结论}{结论}
+ , tchinese = {結論}{結論}
+ , japanese = {結論}{結論}
+ , russian = {Выводы}{Выводы}
+ }
+ , Crefname = {
+ , english = {Conclusions}{Conclusions}
+ , french = [Les]{Conclusions}[Les]{Conclusions}
+ , ngerman = { {Schlussfolgerungen}{Schlussfolgerungen}
+ , Nominativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
+ , Genitiv = [Der]{Schlussfolgerungen}[Der]{Schlussfolgerungen}
+ , Dativ = [Den]{Schlussfolgerungen}[Den]{Schlussfolgerungen}
+ , Akkusativ = [Die]{Schlussfolgerungen}[Die]{Schlussfolgerungen}
+ }
+ , italian = [Le]{Conclusioni}[Le]{Conclusioni}
+ , portuguese = [As]{Conclusões}[As]{Conclusões}
+ , brazilian = [As]{Conclusões}[As]{Conclusões}
+ , spanish = [Las]{Conclusiones}[Las]{Conclusiones}
+ , schinese = {结论}{结论}
+ , tchinese = {結論}{結論}
+ , japanese = {結論}{結論}
+ , russian = {Выводы}{Выводы}
+ }
+ }
+
+\NameTheorem { conjectures }
+ {
+ , heading = {
+ , english = Conjectures
+ , french = Conjectures
+ , ngerman = Vermutungen
+ , italian = Congetture
+ , portuguese = Conjeturas
+ , brazilian = Conjecturas
+ , spanish = Conjeturas
+ , schinese = 猜想
+ , tchinese = 猜想
+ , japanese = 予想
+ , russian = Гипотезы
+ }
+ , crefname = {
+ , english = {Conjectures}{Conjectures}
+ , french = [les]{Conjectures}[les]{Conjectures}
+ , ngerman = { {Vermutungen}{Vermutungen}
+ , Nominativ = [die]{Vermutungen}[die]{Vermutungen}
+ , Genitiv = [der]{Vermutungen}[der]{Vermutungen}
+ , Dativ = [den]{Vermutungen}[den]{Vermutungen}
+ , Akkusativ = [die]{Vermutungen}[die]{Vermutungen}
+ }
+ , italian = [le]{Congetture}[le]{Congetture}
+ , portuguese = [as]{Conjeturas}[as]{Conjeturas}
+ , brazilian = [as]{Conjecturas}[as]{Conjecturas}
+ , spanish = [las]{Conjeturas}[las]{Conjeturas}
+ , schinese = {猜想}{猜想}
+ , tchinese = {猜想}{猜想}
+ , japanese = {予想}{予想}
+ , russian = {Гипотезы}{Гипотезы}
+ }
+ , Crefname = {
+ , english = {Conjectures}{Conjectures}
+ , french = [Les]{Conjectures}[Les]{Conjectures}
+ , ngerman = { {Vermutungen}{Vermutungen}
+ , Nominativ = [Die]{Vermutungen}[Die]{Vermutungen}
+ , Genitiv = [Der]{Vermutungen}[Der]{Vermutungen}
+ , Dativ = [Den]{Vermutungen}[Den]{Vermutungen}
+ , Akkusativ = [Die]{Vermutungen}[Die]{Vermutungen}
+ }
+ , italian = [Le]{Congetture}[Le]{Congetture}
+ , portuguese = [As]{Conjeturas}[As]{Conjeturas}
+ , brazilian = [As]{Conjecturas}[As]{Conjecturas}
+ , spanish = [Las]{Conjeturas}[Las]{Conjeturas}
+ , schinese = {猜想}{猜想}
+ , tchinese = {猜想}{猜想}
+ , japanese = {予想}{予想}
+ , russian = {Гипотезы}{Гипотезы}
+ }
+ }
+
+\NameTheorem { constructions }
+ {
+ , heading = {
+ , english = Constructions
+ , french = Constructions
+ , ngerman = Konstruktionen
+ , italian = Costruzioni
+ , portuguese = Construções
+ , brazilian = Construções
+ , spanish = Construcciones
+ , schinese = 构造
+ , tchinese = 構造
+ , japanese = 構造
+ , russian = Конструкции
+ }
+ , crefname = {
+ , english = {Constructions}{Constructions}
+ , french = [les]{Constructions}[les]{Constructions}
+ , ngerman = { {Konstruktionen}{Konstruktionen}
+ , Nominativ = [die]{Konstruktionen}[die]{Konstruktionen}
+ , Genitiv = [der]{Konstruktionen}[der]{Konstruktionen}
+ , Dativ = [den]{Konstruktionen}[den]{Konstruktionen}
+ , Akkusativ = [die]{Konstruktionen}[die]{Konstruktionen}
+ }
+ , italian = [le]{Costruzioni}[le]{Costruzioni}
+ , portuguese = [as]{Construções}[as]{Construções}
+ , brazilian = [as]{Construções}[as]{Construções}
+ , spanish = [las]{Construcciones}[las]{Construcciones}
+ , schinese = {构造}{构造}
+ , tchinese = {構造}{構造}
+ , japanese = {構造}{構造}
+ , russian = {Конструкции}{Конструкции}
+ }
+ , Crefname = {
+ , english = {Constructions}{Constructions}
+ , french = [Les]{Constructions}[Les]{Constructions}
+ , ngerman = { {Konstruktionen}{Konstruktionen}
+ , Nominativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
+ , Genitiv = [Der]{Konstruktionen}[Der]{Konstruktionen}
+ , Dativ = [Den]{Konstruktionen}[Den]{Konstruktionen}
+ , Akkusativ = [Die]{Konstruktionen}[Die]{Konstruktionen}
+ }
+ , italian = [Le]{Costruzioni}[Le]{Costruzioni}
+ , portuguese = [As]{Construções}[As]{Construções}
+ , brazilian = [As]{Construções}[As]{Construções}
+ , spanish = [Las]{Construcciones}[Las]{Construcciones}
+ , schinese = {构造}{构造}
+ , tchinese = {構造}{構造}
+ , japanese = {構造}{構造}
+ , russian = {Конструкции}{Конструкции}
+ }
+ }
+
+\NameTheorem { conventions }
+ {
+ , heading = {
+ , english = Conventions
+ , french = Conventions
+ , ngerman = Konventionen
+ , italian = Convenzioni
+ , portuguese = Convenções
+ , brazilian = Convenções
+ , spanish = Convenciones
+ , schinese = 约定
+ , tchinese = 約定
+ , japanese = 慣例
+ , russian = Конвенции
+ }
+ , crefname = {
+ , english = {Conventions}{Conventions}
+ , french = [les]{Conventions}[les]{Conventions}
+ , ngerman = { {Konventionen}{Konventionen}
+ , Nominativ = [die]{Konventionen}[die]{Konventionen}
+ , Genitiv = [der]{Konventionen}[der]{Konventionen}
+ , Dativ = [den]{Konventionen}[den]{Konventionen}
+ , Akkusativ = [die]{Konventionen}[die]{Konventionen}
+ }
+ , italian = [le]{Convenzioni}[le]{Convenzioni}
+ , portuguese = [as]{Convenções}[as]{Convenções}
+ , brazilian = [as]{Convenções}[as]{Convenções}
+ , spanish = [las]{Convenciones}[las]{Convenciones}
+ , schinese = {约定}{约定}
+ , tchinese = {約定}{約定}
+ , japanese = {慣例}{慣例}
+ , russian = {Конвенции}{Конвенции}
+ }
+ , Crefname = {
+ , english = {Conventions}{Conventions}
+ , french = [Les]{Conventions}[Les]{Conventions}
+ , ngerman = { {Konventionen}{Konventionen}
+ , Nominativ = [Die]{Konventionen}[Die]{Konventionen}
+ , Genitiv = [Der]{Konventionen}[Der]{Konventionen}
+ , Dativ = [Den]{Konventionen}[Den]{Konventionen}
+ , Akkusativ = [Die]{Konventionen}[Die]{Konventionen}
+ }
+ , italian = [Le]{Convenzioni}[Le]{Convenzioni}
+ , portuguese = [As]{Convenções}[As]{Convenções}
+ , brazilian = [As]{Convenções}[As]{Convenções}
+ , spanish = [Las]{Convenciones}[Las]{Convenciones}
+ , schinese = {约定}{约定}
+ , tchinese = {約定}{約定}
+ , japanese = {慣例}{慣例}
+ , russian = {Конвенции}{Конвенции}
+ }
+ }
+
+\NameTheorem { corollaries }
+ {
+ , heading = {
+ , english = Corollaries
+ , french = Corollaires
+ , ngerman = Korollare
+ , italian = Corollari
+ , portuguese = Corolários
+ , brazilian = Corolários
+ , spanish = Corolarios
+ , schinese = 推论
+ , tchinese = 推論
+ , japanese = 系
+ , russian = Следствия
+ }
+ , crefname = {
+ , english = {Corollaries}{Corollaries}
+ , french = [les]{Corollaires}[les]{Corollaires}
+ , ngerman = { {Korollare}{Korollare}
+ , Nominativ = [die]{Korollare}[die]{Korollare}
+ , Genitiv = [der]{Korollare}[der]{Korollare}
+ , Dativ = [den]{Korollaren}[den]{Korollaren}
+ , Akkusativ = [die]{Korollare}[die]{Korollare}
+ }
+ , italian = [i]{Corollari}[i]{Corollari}
+ , portuguese = [os]{Corolários}[os]{Corolários}
+ , brazilian = [os]{Corolários}[os]{Corolários}
+ , spanish = [los]{Corolarios}[los]{Corolarios}
+ , schinese = {推论}{推论}
+ , tchinese = {推論}{推論}
+ , japanese = {系}{系}
+ , russian = {Следствия}{Следствия}
+ }
+ , Crefname = {
+ , english = {Corollaries}{Corollaries}
+ , french = [Les]{Corollaires}[Les]{Corollaires}
+ , ngerman = { {Korollare}{Korollare}
+ , Nominativ = [Die]{Korollare}[Die]{Korollare}
+ , Genitiv = [Der]{Korollare}[Der]{Korollare}
+ , Dativ = [Den]{Korollaren}[Den]{Korollaren}
+ , Akkusativ = [Die]{Korollare}[Die]{Korollare}
+ }
+ , italian = [I]{Corollari}[I]{Corollari}
+ , portuguese = [Os]{Corolários}[Os]{Corolários}
+ , brazilian = [Os]{Corolários}[Os]{Corolários}
+ , spanish = [Los]{Corolarios}[Los]{Corolarios}
+ , schinese = {推论}{推论}
+ , tchinese = {推論}{推論}
+ , japanese = {系}{系}
+ , russian = {Следствия}{Следствия}
+ }
+ }
+
+\NameTheorem { definitions }
+ {
+ , heading = {
+ , english = Definitions
+ , french = Définitions
+ , ngerman = Definitionen
+ , italian = Definizioni
+ , portuguese = Definições
+ , brazilian = Definições
+ , spanish = Definiciones
+ , schinese = 定义
+ , tchinese = 定義
+ , japanese = 定義
+ , russian = Определения
+ }
+ , crefname = {
+ , english = {Definitions}{Definitions}
+ , french = [les]{Définitions}[les]{Définitions}
+ , ngerman = { {Definitionen}{Definitionen}
+ , Nominativ = [die]{Definitionen}[die]{Definitionen}
+ , Genitiv = [der]{Definitionen}[der]{Definitionen}
+ , Dativ = [den]{Definitionen}[den]{Definitionen}
+ , Akkusativ = [die]{Definitionen}[die]{Definitionen}
+ }
+ , italian = [le]{Definizioni}[le]{Definizioni}
+ , portuguese = [as]{Definições}[as]{Definições}
+ , brazilian = [as]{Definições}[as]{Definições}
+ , spanish = [las]{Definiciones}[las]{Definiciones}
+ , schinese = {定义}{定义}
+ , tchinese = {定義}{定義}
+ , japanese = {定義}{定義}
+ , russian = {Определения}{Определения}
+ }
+ , Crefname = {
+ , english = {Definitions}{Definitions}
+ , french = [Les]{Définitions}[Les]{Définitions}
+ , ngerman = { {Definitionen}{Definitionen}
+ , Nominativ = [Die]{Definitionen}[Die]{Definitionen}
+ , Genitiv = [Der]{Definitionen}[Der]{Definitionen}
+ , Dativ = [Den]{Definitionen}[Den]{Definitionen}
+ , Akkusativ = [Die]{Definitionen}[Die]{Definitionen}
+ }
+ , italian = [Le]{Definizioni}[Le]{Definizioni}
+ , portuguese = [As]{Definições}[As]{Definições}
+ , brazilian = [As]{Definições}[As]{Definições}
+ , spanish = [Las]{Definiciones}[Las]{Definiciones}
+ , schinese = {定义}{定义}
+ , tchinese = {定義}{定義}
+ , japanese = {定義}{定義}
+ , russian = {Определения}{Определения}
+ }
+ }
+
+\NameTheorem { examples }
+ {
+ , heading = {
+ , english = Examples
+ , french = Exemples
+ , ngerman = Beispiele
+ , italian = Esempi
+ , portuguese = Exemplos
+ , brazilian = Exemplos
+ , spanish = Ejemplos
+ , schinese = 例
+ , tchinese = 例
+ , japanese = 例
+ , russian = Примеры
+ }
+ , crefname = {
+ , english = {Examples}{Examples}
+ , french = [les]{Exemples}[les]{Exemples}
+ , ngerman = { {Beispiele}{Beispiele}
+ , Nominativ = [die]{Beispiele}[die]{Beispiele}
+ , Genitiv = [der]{Beispiele}[der]{Beispiele}
+ , Dativ = [den]{Beispielen}[den]{Beispielen}
+ , Akkusativ = [die]{Beispiele}[die]{Beispiele}
+ }
+ , italian = [gli]{Esempi}[gli]{Esempi}
+ , portuguese = [os]{Exemplos}[os]{Exemplos}
+ , brazilian = [os]{Exemplos}[os]{Exemplos}
+ , spanish = [los]{Ejemplos}[los]{Ejemplos}
+ , schinese = {例}{例}
+ , tchinese = {例}{例}
+ , japanese = {例}{例}
+ , russian = {Примеры}{Примеры}
+ }
+ , Crefname = {
+ , english = {Examples}{Examples}
+ , french = [Les]{Exemples}[Les]{Exemples}
+ , ngerman = { {Beispiele}{Beispiele}
+ , Nominativ = [Die]{Beispiele}[Die]{Beispiele}
+ , Genitiv = [Der]{Beispiele}[Der]{Beispiele}
+ , Dativ = [Den]{Beispielen}[Den]{Beispielen}
+ , Akkusativ = [Die]{Beispiele}[Die]{Beispiele}
+ }
+ , italian = [Gli]{Esempi}[Gli]{Esempi}
+ , portuguese = [Os]{Exemplos}[Os]{Exemplos}
+ , brazilian = [Os]{Exemplos}[Os]{Exemplos}
+ , spanish = [Los]{Ejemplos}[Los]{Ejemplos}
+ , schinese = {例}{例}
+ , tchinese = {例}{例}
+ , japanese = {例}{例}
+ , russian = {Примеры}{Примеры}
+ }
+ }
+
+\NameTheorem { exercises }
+ {
+ , heading = {
+ , english = Exercises
+ , french = Exercices
+ , ngerman = ÜBungen
+ , italian = Esercizi
+ , portuguese = Exercícios
+ , brazilian = Exercícios
+ , spanish = Ejercicios
+ , schinese = 习题
+ , tchinese = 習題
+ , japanese = 練習
+ , russian = Упражнения
+ }
+ , crefname = {
+ , english = {Exercises}{Exercises}
+ , french = [les]{Exercices}[les]{Exercices}
+ , ngerman = { {Übungen}{Übungen}
+ , Nominativ = [die]{Übungen}[die]{Übungen}
+ , Genitiv = [der]{Übungen}[der]{Übungen}
+ , Dativ = [den]{Übungen}[den]{Übungen}
+ , Akkusativ = [die]{Übungen}[die]{Übungen}
+ }
+ , italian = [gli]{Esercizi}[gli]{Esercizi}
+ , portuguese = [os]{Exercícios}[os]{Exercícios}
+ , brazilian = [os]{Exercícios}[os]{Exercícios}
+ , spanish = [los]{Ejercicios}[los]{Ejercicios}
+ , schinese = {习题}{习题}
+ , tchinese = {習題}{習題}
+ , japanese = {練習}{練習}
+ , russian = {Упражнения}{Упражнения}
+ }
+ , Crefname = {
+ , english = {Exercises}{Exercises}
+ , french = [Les]{Exercices}[Les]{Exercices}
+ , ngerman = { {Übungen}{Übungen}
+ , Nominativ = [Die]{Übungen}[Die]{Übungen}
+ , Genitiv = [Der]{Übungen}[Der]{Übungen}
+ , Dativ = [Den]{Übungen}[Den]{Übungen}
+ , Akkusativ = [Die]{Übungen}[Die]{Übungen}
+ }
+ , italian = [Gli]{Esercizi}[Gli]{Esercizi}
+ , portuguese = [Os]{Exercícios}[Os]{Exercícios}
+ , brazilian = [Os]{Exercícios}[Os]{Exercícios}
+ , spanish = [Los]{Ejercicios}[Los]{Ejercicios}
+ , schinese = {习题}{习题}
+ , tchinese = {習題}{習題}
+ , japanese = {練習}{練習}
+ , russian = {Упражнения}{Упражнения}
+ }
+ }
+
+\NameTheorem { facts }
+ {
+ , heading = {
+ , english = Facts
+ , french = Faits
+ , ngerman = Tatsachen
+ , italian = Fatti
+ , portuguese = Factos
+ , brazilian = Fatos
+ , spanish = Hechos
+ , schinese = 事实
+ , tchinese = 事實
+ , japanese = 事実
+ , russian = Факты
+ }
+ , crefname = {
+ , english = {Facts}{Facts}
+ , french = [les]{Faits}[les]{Faits}
+ , ngerman = { {Tatsachen}{Tatsachen}
+ , Nominativ = [die]{Tatsachen}[die]{Tatsachen}
+ , Genitiv = [der]{Tatsachen}[der]{Tatsachen}
+ , Dativ = [den]{Tatsachen}[den]{Tatsachen}
+ , Akkusativ = [die]{Tatsachen}[die]{Tatsachen}
+ }
+ , italian = [i]{Fatti}[i]{Fatti}
+ , portuguese = [os]{Factos}[os]{Factos}
+ , brazilian = [os]{Fatos}[os]{Fatos}
+ , spanish = [los]{Hechos}[los]{Hechos}
+ , schinese = {事实}{事实}
+ , tchinese = {事實}{事實}
+ , japanese = {事実}{事実}
+ , russian = {Факты}{Факты}
+ }
+ , Crefname = {
+ , english = {Facts}{Facts}
+ , french = [Les]{Faits}[Les]{Faits}
+ , ngerman = { {Tatsachen}{Tatsachen}
+ , Nominativ = [Die]{Tatsachen}[Die]{Tatsachen}
+ , Genitiv = [Der]{Tatsachen}[Der]{Tatsachen}
+ , Dativ = [Den]{Tatsachen}[Den]{Tatsachen}
+ , Akkusativ = [Die]{Tatsachen}[Die]{Tatsachen}
+ }
+ , italian = [I]{Fatti}[I]{Fatti}
+ , portuguese = [Os]{Factos}[Os]{Factos}
+ , brazilian = [Os]{Fatos}[Os]{Fatos}
+ , spanish = [Los]{Hechos}[Los]{Hechos}
+ , schinese = {事实}{事实}
+ , tchinese = {事實}{事實}
+ , japanese = {事実}{事実}
+ , russian = {Факты}{Факты}
+ }
+ }
+
+\NameTheorem { hypotheses }
+ {
+ , heading = {
+ , english = Hypotheses
+ , french = Hypothèses
+ , ngerman = Hypothesen
+ , italian = Ipotesi
+ , portuguese = Hipóteses
+ , brazilian = Hipóteses
+ , spanish = Hipótesis
+ , schinese = 假设
+ , tchinese = 假設
+ , japanese = 仮設
+ , russian = Гипотезы
+ }
+ , crefname = {
+ , english = {Hypotheses}{Hypotheses}
+ , french = [les]{Hypothèses}[les]{Hypothèses}
+ , ngerman = { {Hypothesen}{Hypothesen}
+ , Nominativ = [die]{Hypothesen}[die]{Hypothesen}
+ , Genitiv = [der]{Hypothesen}[der]{Hypothesen}
+ , Dativ = [den]{Hypothesen}[den]{Hypothesen}
+ , Akkusativ = [die]{Hypothesen}[die]{Hypothesen}
+ }
+ , italian = [le]{Ipotesi}[le]{Ipotesi}
+ , portuguese = [as]{Hipóteses}[as]{Hipóteses}
+ , brazilian = [as]{Hipóteses}[as]{Hipóteses}
+ , spanish = [las]{Hipótesis}[las]{Hipótesis}
+ , schinese = {假设}{假设}
+ , tchinese = {假設}{假設}
+ , japanese = {仮設}{仮設}
+ , russian = {Гипотезы}{Гипотезы}
+ }
+ , Crefname = {
+ , english = {Hypotheses}{Hypotheses}
+ , french = [Les]{Hypothèses}[Les]{Hypothèses}
+ , ngerman = { {Hypothesen}{Hypothesen}
+ , Nominativ = [Die]{Hypothesen}[Die]{Hypothesen}
+ , Genitiv = [Der]{Hypothesen}[Der]{Hypothesen}
+ , Dativ = [Den]{Hypothesen}[Den]{Hypothesen}
+ , Akkusativ = [Die]{Hypothesen}[Die]{Hypothesen}
+ }
+ , italian = [Le]{Ipotesi}[Le]{Ipotesi}
+ , portuguese = [As]{Hipóteses}[As]{Hipóteses}
+ , brazilian = [As]{Hipóteses}[As]{Hipóteses}
+ , spanish = [Las]{Hipótesis}[Las]{Hipótesis}
+ , schinese = {假设}{假设}
+ , tchinese = {假設}{假設}
+ , japanese = {仮設}{仮設}
+ , russian = {Гипотезы}{Гипотезы}
+ }
+ }
+
+\NameTheorem { lemmas }
+ {
+ , heading = {
+ , english = Lemmas
+ , french = Lemmes
+ , ngerman = Lemmata
+ , italian = Lemmi
+ , portuguese = Lemas
+ , brazilian = Lemas
+ , spanish = Lemas
+ , schinese = 引理
+ , tchinese = 引理
+ , japanese = 補題
+ , russian = Леммы
+ }
+ , crefname = {
+ , english = {Lemmas}{Lemmas}
+ , french = [les]{Lemmes}[les]{Lemmes}
+ , ngerman = { {Lemmata}{Lemmata}
+ , Nominativ = [die]{Lemmata}[die]{Lemmata}
+ , Genitiv = [der]{Lemmata}[der]{Lemmata}
+ , Dativ = [den]{Lemmata}[den]{Lemmata}
+ , Akkusativ = [die]{Lemmata}[die]{Lemmata}
+ }
+ , italian = [i]{Lemmi}[i]{Lemmi}
+ , portuguese = [os]{Lemas}[os]{Lemas}
+ , brazilian = [os]{Lemas}[os]{Lemas}
+ , spanish = [las]{Lemas}[las]{Lemas}
+ , schinese = {引理}{引理}
+ , tchinese = {引理}{引理}
+ , japanese = {補題}{補題}
+ , russian = {Леммы}{Леммы}
+ }
+ , Crefname = {
+ , english = {Lemmas}{Lemmas}
+ , french = [Les]{Lemmes}[Les]{Lemmes}
+ , ngerman = { {Lemmata}{Lemmata}
+ , Nominativ = [Die]{Lemmata}[Die]{Lemmata}
+ , Genitiv = [Der]{Lemmata}[Der]{Lemmata}
+ , Dativ = [Den]{Lemmata}[Den]{Lemmata}
+ , Akkusativ = [Die]{Lemmata}[Die]{Lemmata}
+ }
+ , italian = [I]{Lemmi}[I]{Lemmi}
+ , portuguese = [Os]{Lemas}[Os]{Lemas}
+ , brazilian = [Os]{Lemas}[Os]{Lemas}
+ , spanish = [las]{Lemas}[las]{Lemas}
+ , schinese = {引理}{引理}
+ , tchinese = {引理}{引理}
+ , japanese = {補題}{補題}
+ , russian = {Леммы}{Леммы}
+ }
+ }
+
+\NameTheorem { motivations }
+ {
+ , heading = {
+ , english = Motivations
+ , french = Motivations
+ , ngerman = Motivationen
+ , italian = Motivazioni
+ , portuguese = Motivações
+ , brazilian = Motivações
+ , spanish = Motivaciones
+ , schinese = 动机
+ , tchinese = 動機
+ , japanese = 動機
+ , russian = Мотивации
+ }
+ , crefname = {
+ , english = {Motivations}{Motivations}
+ , french = [les]{Motivations}[les]{Motivations}
+ , ngerman = { {Motivationen}{Motivationen}
+ , Nominativ = [die]{Motivationen}[die]{Motivationen}
+ , Genitiv = [der]{Motivationen}[der]{Motivationen}
+ , Dativ = [den]{Motivationen}[den]{Motivationen}
+ , Akkusativ = [die]{Motivationen}[die]{Motivationen}
+ }
+ , italian = [le]{Motivazioni}[le]{Motivazioni}
+ , portuguese = [as]{Motivações}[as]{Motivações}
+ , brazilian = [as]{Motivações}[as]{Motivações}
+ , spanish = [las]{Motivaciones}[las]{Motivaciones}
+ , schinese = {动机}{动机}
+ , tchinese = {動機}{動機}
+ , japanese = {動機}{動機}
+ , russian = {Мотивации}{Мотивации}
+ }
+ , Crefname = {
+ , english = {Motivations}{Motivations}
+ , french = [Les]{Motivations}[Les]{Motivations}
+ , ngerman = { {Motivationen}{Motivationen}
+ , Nominativ = [Die]{Motivationen}[Die]{Motivationen}
+ , Genitiv = [Der]{Motivationen}[Der]{Motivationen}
+ , Dativ = [Den]{Motivationen}[Den]{Motivationen}
+ , Akkusativ = [Die]{Motivationen}[Die]{Motivationen}
+ }
+ , italian = [Le]{Motivazioni}[Le]{Motivazioni}
+ , portuguese = [As]{Motivações}[As]{Motivações}
+ , brazilian = [As]{Motivações}[As]{Motivações}
+ , spanish = [Las]{Motivaciones}[Las]{Motivaciones}
+ , schinese = {动机}{动机}
+ , tchinese = {動機}{動機}
+ , japanese = {動機}{動機}
+ , russian = {Мотивации}{Мотивации}
+ }
+ }
+
+\NameTheorem { notations }
+ {
+ , heading = {
+ , english = Notations
+ , french = Notations
+ , ngerman = Notationen
+ , italian = Notazioni
+ , portuguese = Notações
+ , brazilian = Notações
+ , spanish = Notaciones
+ , schinese = 记号
+ , tchinese = 記號
+ , japanese = 記法
+ , russian = Нотации
+ }
+ , crefname = {
+ , english = {Notations}{Notations}
+ , french = [les]{Notations}[les]{Notations}
+ , ngerman = { {Notationen}{Notationen}
+ , Nominativ = [die]{Notationen}[die]{Notationen}
+ , Genitiv = [der]{Notationen}[der]{Notationen}
+ , Dativ = [den]{Notationen}[den]{Notationen}
+ , Akkusativ = [die]{Notationen}[die]{Notationen}
+ }
+ , italian = [le]{Notazioni}[le]{Notazioni}
+ , portuguese = [as]{Notações}[as]{Notações}
+ , brazilian = [as]{Notações}[as]{Notações}
+ , spanish = [las]{Notaciones}[las]{Notaciones}
+ , schinese = {记号}{记号}
+ , tchinese = {記號}{記號}
+ , japanese = {記法}{記法}
+ , russian = {Нотации}{Нотации}
+ }
+ , Crefname = {
+ , english = {Notations}{Notations}
+ , french = [Les]{Notations}[Les]{Notations}
+ , ngerman = { {Notationen}{Notationen}
+ , Nominativ = [Die]{Notationen}[Die]{Notationen}
+ , Genitiv = [Der]{Notationen}[Der]{Notationen}
+ , Dativ = [Den]{Notationen}[Den]{Notationen}
+ , Akkusativ = [Die]{Notationen}[Die]{Notationen}
+ }
+ , italian = [Le]{Notazioni}[Le]{Notazioni}
+ , portuguese = [As]{Notações}[As]{Notações}
+ , brazilian = [As]{Notações}[As]{Notações}
+ , spanish = [Las]{Notaciones}[Las]{Notaciones}
+ , schinese = {记号}{记号}
+ , tchinese = {記號}{記號}
+ , japanese = {記法}{記法}
+ , russian = {Нотации}{Нотации}
+ }
+ }
+
+\NameTheorem { observations }
+ {
+ , heading = {
+ , english = Observations
+ , french = Observations
+ , ngerman = Beobachtungen
+ , italian = Osservazioni
+ , portuguese = Observações
+ , brazilian = Observações
+ , spanish = Observaciones
+ , schinese = 观察
+ , tchinese = 觀察
+ , japanese = 観察
+ , russian = Наблюдения
+ }
+ , crefname = {
+ , english = {Observations}{Observations}
+ , french = [les]{Observations}[les]{Observations}
+ , ngerman = { {Beobachtungen}{Beobachtungen}
+ , Nominativ = [die]{Beobachtungen}[die]{Beobachtungen}
+ , Genitiv = [der]{Beobachtungen}[der]{Beobachtungen}
+ , Dativ = [den]{Beobachtungen}[den]{Beobachtungen}
+ , Akkusativ = [die]{Beobachtungen}[die]{Beobachtungen}
+ }
+ , italian = [le]{Osservazioni}[le]{Osservazioni}
+ , portuguese = [as]{Observações}[as]{Observações}
+ , brazilian = [as]{Observações}[as]{Observações}
+ , spanish = [las]{Observaciones}[las]{Observaciones}
+ , schinese = {观察}{观察}
+ , tchinese = {觀察}{觀察}
+ , japanese = {観察}{観察}
+ , russian = {Наблюдения}{Наблюдения}
+ }
+ , Crefname = {
+ , english = {Observations}{Observations}
+ , french = [Les]{Observations}[Les]{Observations}
+ , ngerman = { {Beobachtungen}{Beobachtungen}
+ , Nominativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
+ , Genitiv = [Der]{Beobachtungen}[Der]{Beobachtungen}
+ , Dativ = [Den]{Beobachtungen}[Den]{Beobachtungen}
+ , Akkusativ = [Die]{Beobachtungen}[Die]{Beobachtungen}
+ }
+ , italian = [Le]{Osservazioni}[Le]{Osservazioni}
+ , portuguese = [As]{Observações}[As]{Observações}
+ , brazilian = [As]{Observações}[As]{Observações}
+ , spanish = [Las]{Observaciones}[Las]{Observaciones}
+ , schinese = {观察}{观察}
+ , tchinese = {觀察}{觀察}
+ , japanese = {観察}{観察}
+ , russian = {Наблюдения}{Наблюдения}
+ }
+ }
+
+\NameTheorem { postulates }
+ {
+ , heading = {
+ , english = Postulates
+ , french = Postulats
+ , ngerman = Postulate
+ , italian = Postulati
+ , portuguese = Postulados
+ , brazilian = Postulados
+ , spanish = Postulados
+ , schinese = 公设
+ , tchinese = 公設
+ , japanese = 公準
+ , russian = Постулаты
+ }
+ , crefname = {
+ , english = {Postulates}{Postulates}
+ , french = [les]{Postulats}[les]{Postulats}
+ , ngerman = { {Postulate}{Postulate}
+ , Nominativ = [die]{Postulate}[die]{Postulate}
+ , Genitiv = [der]{Postulate}[der]{Postulate}
+ , Dativ = [den]{Postulaten}[den]{Postulaten}
+ , Akkusativ = [die]{Postulate}[die]{Postulate}
+ }
+ , italian = [i]{Postulati}[i]{Postulati}
+ , portuguese = [os]{Postulados}[os]{Postulados}
+ , brazilian = [os]{Postulados}[os]{Postulados}
+ , spanish = [los]{Postulados}[los]{Postulados}
+ , schinese = {公设}{公设}
+ , tchinese = {公設}{公設}
+ , japanese = {公準}{公準}
+ , russian = {Постулаты}{Постулаты}
+ }
+ , Crefname = {
+ , english = {Postulates}{Postulates}
+ , french = [Les]{Postulats}[Les]{Postulats}
+ , ngerman = { {Postulate}{Postulate}
+ , Nominativ = [Die]{Postulate}[Die]{Postulate}
+ , Genitiv = [Der]{Postulate}[Der]{Postulate}
+ , Dativ = [Den]{Postulaten}[Den]{Postulaten}
+ , Akkusativ = [Die]{Postulate}[Die]{Postulate}
+ }
+ , italian = [I]{Postulati}[I]{Postulati}
+ , portuguese = [Os]{Postulados}[Os]{Postulados}
+ , brazilian = [Os]{Postulados}[Os]{Postulados}
+ , spanish = [Los]{Postulados}[Los]{Postulados}
+ , schinese = {公设}{公设}
+ , tchinese = {公設}{公設}
+ , japanese = {公準}{公準}
+ , russian = {Постулаты}{Постулаты}
+ }
+ }
+
+\NameTheorem { problems }
+ {
+ , heading = {
+ , english = Problems
+ , french = Problèmes
+ , ngerman = Probleme
+ , italian = Problemi
+ , portuguese = Problemas
+ , brazilian = Problemas
+ , spanish = Problemas
+ , schinese = 问题
+ , tchinese = 問題
+ , japanese = 問題
+ , russian = Проблемы
+ }
+ , crefname = {
+ , english = {Problems}{Problems}
+ , french = [les]{Problèmes}[les]{Problèmes}
+ , ngerman = { {Probleme}{Probleme}
+ , Nominativ = [die]{Probleme}[die]{Probleme}
+ , Genitiv = [der]{Probleme}[der]{Probleme}
+ , Dativ = [den]{Problemen}[den]{Problemen}
+ , Akkusativ = [die]{Probleme}[die]{Probleme}
+ }
+ , italian = [i]{Problemi}[i]{Problemi}
+ , portuguese = [os]{Problemas}[os]{Problemas}
+ , brazilian = [os]{Problemas}[os]{Problemas}
+ , spanish = [los]{Problemas}[los]{Problemas}
+ , schinese = {问题}{问题}
+ , tchinese = {問題}{問題}
+ , japanese = {問題}{問題}
+ , russian = {Проблемы}{Проблемы}
+ }
+ , Crefname = {
+ , english = {Problems}{Problems}
+ , french = [Les]{Problèmes}[Les]{Problèmes}
+ , ngerman = { {Probleme}{Probleme}
+ , Nominativ = [Die]{Probleme}[Die]{Probleme}
+ , Genitiv = [Der]{Probleme}[Der]{Probleme}
+ , Dativ = [Den]{Problemen}[Den]{Problemen}
+ , Akkusativ = [Die]{Probleme}[Die]{Probleme}
+ }
+ , italian = [I]{Problemi}[I]{Problemi}
+ , portuguese = [Os]{Problemas}[Os]{Problemas}
+ , brazilian = [Os]{Problemas}[Os]{Problemas}
+ , spanish = [Los]{Problemas}[Los]{Problemas}
+ , schinese = {问题}{问题}
+ , tchinese = {問題}{問題}
+ , japanese = {問題}{問題}
+ , russian = {Проблемы}{Проблемы}
+ }
+ }
+
+\NameTheorem { properties }
+ {
+ , heading = {
+ , english = Properties
+ , french = Propriétés
+ , ngerman = Eigenschaften
+ , italian = Proprietà
+ , portuguese = Propriedades
+ , brazilian = Propriedades
+ , spanish = Propiedades
+ , schinese = 性质
+ , tchinese = 性質
+ , japanese = 性質
+ , russian = Имущества
+ }
+ , crefname = {
+ , english = {Properties}{Properties}
+ , french = [les]{Propriétés}[les]{Propriétés}
+ , ngerman = { {Eigenschaften}{Eigenschaften}
+ , Nominativ = [die]{Eigenschaften}[die]{Eigenschaften}
+ , Genitiv = [der]{Eigenschaften}[der]{Eigenschaften}
+ , Dativ = [den]{Eigenschaften}[den]{Eigenschaften}
+ , Akkusativ = [die]{Eigenschaften}[die]{Eigenschaften}
+ }
+ , italian = [le]{Proprietà}[le]{Proprietà}
+ , portuguese = [as]{Propriedades}[as]{Propriedades}
+ , brazilian = [as]{Propriedades}[as]{Propriedades}
+ , spanish = [las]{Propiedades}[las]{Propiedades}
+ , schinese = {性质}{性质}
+ , tchinese = {性質}{性質}
+ , japanese = {性質}{性質}
+ , russian = {Имущества}{Имущества}
+ }
+ , Crefname = {
+ , english = {Properties}{Properties}
+ , french = [Les]{Propriétés}[Les]{Propriétés}
+ , ngerman = { {Eigenschaften}{Eigenschaften}
+ , Nominativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
+ , Genitiv = [Der]{Eigenschaften}[Der]{Eigenschaften}
+ , Dativ = [Den]{Eigenschaften}[Den]{Eigenschaften}
+ , Akkusativ = [Die]{Eigenschaften}[Die]{Eigenschaften}
+ }
+ , italian = [Le]{Proprietà}[Le]{Proprietà}
+ , portuguese = [As]{Propriedades}[As]{Propriedades}
+ , brazilian = [As]{Propriedades}[As]{Propriedades}
+ , spanish = [Las]{Propiedades}[Las]{Propiedades}
+ , schinese = {性质}{性质}
+ , tchinese = {性質}{性質}
+ , japanese = {性質}{性質}
+ , russian = {Имущества}{Имущества}
+ }
+ }
+
+\NameTheorem { propositions }
+ {
+ , heading = {
+ , english = Propositions
+ , french = Propositions
+ , ngerman = Propositionen
+ , italian = Proposte
+ , portuguese = Proposições
+ , brazilian = Proposições
+ , spanish = Proposiciones
+ , schinese = 命题
+ , tchinese = 命題
+ , japanese = 命題
+ , russian = Предложения
+ }
+ , crefname = {
+ , english = {Propositions}{Propositions}
+ , french = [les]{Propositions}[les]{Propositions}
+ , ngerman = { {Propositionen}{Propositionen}
+ , Nominativ = [die]{Propositionen}[die]{Propositionen}
+ , Genitiv = [der]{Propositionen}[der]{Propositionen}
+ , Dativ = [den]{Propositionen}[den]{Propositionen}
+ , Akkusativ = [die]{Propositionen}[die]{Propositionen}
+ }
+ , italian = [le]{Proposte}[le]{Proposte}
+ , portuguese = [as]{Proposições}[as]{Proposições}
+ , brazilian = [as]{Proposições}[as]{Proposições}
+ , spanish = [las]{Proposiciones}[las]{Proposiciones}
+ , schinese = {命题}{命题}
+ , tchinese = {命題}{命題}
+ , japanese = {命題}{命題}
+ , russian = {Предложения}{Предложения}
+ }
+ , Crefname = {
+ , english = {Propositions}{Propositions}
+ , french = [Les]{Propositions}[Les]{Propositions}
+ , ngerman = { {Propositionen}{Propositionen}
+ , Nominativ = [Die]{Propositionen}[Die]{Propositionen}
+ , Genitiv = [Der]{Propositionen}[Der]{Propositionen}
+ , Dativ = [Den]{Propositionen}[Den]{Propositionen}
+ , Akkusativ = [Die]{Propositionen}[Die]{Propositionen}
+ }
+ , italian = [Le]{Proposte}[Le]{Proposte}
+ , portuguese = [As]{Proposições}[As]{Proposições}
+ , brazilian = [As]{Proposições}[As]{Proposições}
+ , spanish = [Las]{Proposiciones}[Las]{Proposiciones}
+ , schinese = {命题}{命题}
+ , tchinese = {命題}{命題}
+ , japanese = {命題}{命題}
+ , russian = {Предложения}{Предложения}
+ }
+ }
+
+\NameTheorem { questions }
+ {
+ , heading = {
+ , english = Questions
+ , french = Questions
+ , ngerman = Fragen
+ , italian = Domande
+ , portuguese = Perguntas
+ , brazilian = Perguntas
+ , spanish = Preguntas
+ , schinese = 问题
+ , tchinese = 問題
+ , japanese = 問題
+ , russian = Вопросы
+ }
+ , crefname = {
+ , english = {Questions}{Questions}
+ , french = [les]{Questions}[les]{Questions}
+ , ngerman = { {Fragen}{Fragen}
+ , Nominativ = [die]{Fragen}[die]{Fragen}
+ , Genitiv = [der]{Fragen}[der]{Fragen}
+ , Dativ = [den]{Fragen}[den]{Fragen}
+ , Akkusativ = [die]{Fragen}[die]{Fragen}
+ }
+ , italian = [le]{Domande}[le]{Domande}
+ , portuguese = [as]{Perguntas}[as]{Perguntas}
+ , brazilian = [as]{Perguntas}[as]{Perguntas}
+ , spanish = [las]{Preguntas}[las]{Preguntas}
+ , schinese = {问题}{问题}
+ , tchinese = {問題}{問題}
+ , japanese = {問題}{問題}
+ , russian = {Вопросы}{Вопросы}
+ }
+ , Crefname = {
+ , english = {Questions}{Questions}
+ , french = [Les]{Questions}[Les]{Questions}
+ , ngerman = { {Fragen}{Fragen}
+ , Nominativ = [Die]{Fragen}[Die]{Fragen}
+ , Genitiv = [Der]{Fragen}[Der]{Fragen}
+ , Dativ = [Den]{Fragen}[Den]{Fragen}
+ , Akkusativ = [Die]{Fragen}[Die]{Fragen}
+ }
+ , italian = [Le]{Domande}[Le]{Domande}
+ , portuguese = [As]{Perguntas}[As]{Perguntas}
+ , brazilian = [As]{Perguntas}[As]{Perguntas}
+ , spanish = [Las]{Preguntas}[Las]{Preguntas}
+ , schinese = {问题}{问题}
+ , tchinese = {問題}{問題}
+ , japanese = {問題}{問題}
+ , russian = {Вопросы}{Вопросы}
+ }
+ }
+
+\NameTheorem { recalls }
+ {
+ , heading = {
+ , english = Recalls
+ , french = Rappels
+ , ngerman = Erinnerungen
+ , italian = Richiami
+ , portuguese = Recordações
+ , brazilian = Recordações
+ , spanish = Recuerdos
+ , schinese = 回顾
+ , tchinese = 回顧
+ , japanese = 回顧
+ , russian = Напоминания
+ }
+ , crefname = {
+ , english = {Recalls}{Recalls}
+ , french = [les]{Rappels}[les]{Rappels}
+ , ngerman = { {Erinnerungen}{Erinnerungen}
+ , Nominativ = [die]{Erinnerungen}[die]{Erinnerungen}
+ , Genitiv = [der]{Erinnerungen}[der]{Erinnerungen}
+ , Dativ = [den]{Erinnerungen}[den]{Erinnerungen}
+ , Akkusativ = [die]{Erinnerungen}[die]{Erinnerungen}
+ }
+ , italian = [i]{Richiami}[i]{Richiami}
+ , portuguese = [as]{Recordações}[as]{Recordações}
+ , brazilian = [as]{Recordações}[as]{Recordações}
+ , spanish = [los]{Recuerdos}[los]{Recuerdos}
+ , schinese = {回顾}{回顾}
+ , tchinese = {回顧}{回顧}
+ , japanese = {回顧}{回顧}
+ , russian = {Напоминания}{Напоминания}
+ }
+ , Crefname = {
+ , english = {Recalls}{Recalls}
+ , french = [Les]{Rappels}[Les]{Rappels}
+ , ngerman = { {Erinnerungen}{Erinnerungen}
+ , Nominativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
+ , Genitiv = [Der]{Erinnerungen}[Der]{Erinnerungen}
+ , Dativ = [Den]{Erinnerungen}[Den]{Erinnerungen}
+ , Akkusativ = [Die]{Erinnerungen}[Die]{Erinnerungen}
+ }
+ , italian = [I]{Richiami}[I]{Richiami}
+ , portuguese = [As]{Recordações}[As]{Recordações}
+ , brazilian = [As]{Recordações}[As]{Recordações}
+ , spanish = [Los]{Recuerdos}[Los]{Recuerdos}
+ , schinese = {回顾}{回顾}
+ , tchinese = {回顧}{回顧}
+ , japanese = {回顧}{回顧}
+ , russian = {Напоминания}{Напоминания}
+ }
+ }
+
+\NameTheorem { remarks }
+ {
+ , heading = {
+ , english = Remarks
+ , french = Remarques
+ , ngerman = Bemerkungen
+ , italian = Commenti
+ , portuguese = Comentários
+ , brazilian = Comentários
+ , spanish = Comentarios
+ , schinese = 备注
+ , tchinese = 備註
+ , japanese = 注釈
+ , russian = Замечания
+ }
+ , crefname = {
+ , english = {Remarks}{Remarks}
+ , french = [les]{Remarques}[les]{Remarques}
+ , ngerman = { {Bemerkungen}{Bemerkungen}
+ , Nominativ = [die]{Bemerkungen}[die]{Bemerkungen}
+ , Genitiv = [der]{Bemerkungen}[der]{Bemerkungen}
+ , Dativ = [den]{Bemerkungen}[den]{Bemerkungen}
+ , Akkusativ = [die]{Bemerkungen}[die]{Bemerkungen}
+ }
+ , italian = [i]{Commenti}[i]{Commenti}
+ , portuguese = [os]{Comentários}[os]{Comentários}
+ , brazilian = [os]{Comentários}[os]{Comentários}
+ , spanish = [los]{Comentarios}[los]{Comentarios}
+ , schinese = {备注}{备注}
+ , tchinese = {備註}{備註}
+ , japanese = {注釈}{注釈}
+ , russian = {Замечания}{Замечания}
+ }
+ , Crefname = {
+ , english = {Remarks}{Remarks}
+ , french = [Les]{Remarques}[Les]{Remarques}
+ , ngerman = { {Bemerkungen}{Bemerkungen}
+ , Nominativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
+ , Genitiv = [Der]{Bemerkungen}[Der]{Bemerkungen}
+ , Dativ = [Den]{Bemerkungen}[Den]{Bemerkungen}
+ , Akkusativ = [Die]{Bemerkungen}[Die]{Bemerkungen}
+ }
+ , italian = [I]{Commenti}[I]{Commenti}
+ , portuguese = [Os]{Comentários}[Os]{Comentários}
+ , brazilian = [Os]{Comentários}[Os]{Comentários}
+ , spanish = [Los]{Comentarios}[Los]{Comentarios}
+ , schinese = {备注}{备注}
+ , tchinese = {備註}{備註}
+ , japanese = {注釈}{注釈}
+ , russian = {Замечания}{Замечания}
+ }
+ }
+
+\NameTheorem { theorems }
+ {
+ , heading = {
+ , english = Theorems
+ , french = Théorèmes
+ , ngerman = Sätze
+ , italian = Teoremi
+ , portuguese = Teoremas
+ , brazilian = Teoremas
+ , spanish = Teoremas
+ , schinese = 定理
+ , tchinese = 定理
+ , japanese = 定理
+ , russian = Теоремы
+ }
+ , crefname = {
+ , english = {Theorems}{Theorems}
+ , french = [les]{Théorèmes}[les]{Théorèmes}
+ , ngerman = { {Sätze}{Sätze}
+ , Nominativ = [die]{Sätze}[die]{Sätze}
+ , Genitiv = [der]{Sätze}[der]{Sätze}
+ , Dativ = [den]{Sätzen}[den]{Sätzen}
+ , Akkusativ = [die]{Sätze}[die]{Sätze}
+ }
+ , italian = [i]{Teoremi}[i]{Teoremi}
+ , portuguese = [os]{Teoremas}[os]{Teoremas}
+ , brazilian = [os]{Teoremas}[os]{Teoremas}
+ , spanish = [los]{Teoremas}[los]{Teoremas}
+ , schinese = {定理}{定理}
+ , tchinese = {定理}{定理}
+ , japanese = {定理}{定理}
+ , russian = {Теоремы}{Теоремы}
+ }
+ , Crefname = {
+ , english = {Theorems}{Theorems}
+ , french = [Les]{Théorèmes}[Les]{Théorèmes}
+ , ngerman = { {Sätze}{Sätze}
+ , Nominativ = [Die]{Sätze}[Die]{Sätze}
+ , Genitiv = [Der]{Sätze}[Der]{Sätze}
+ , Dativ = [Den]{Sätzen}[Den]{Sätzen}
+ , Akkusativ = [Die]{Sätze}[Die]{Sätze}
+ }
+ , italian = [I]{Teoremi}[I]{Teoremi}
+ , portuguese = [Os]{Teoremas}[Os]{Teoremas}
+ , brazilian = [Os]{Teoremas}[Os]{Teoremas}
+ , spanish = [Los]{Teoremas}[Los]{Teoremas}
+ , schinese = {定理}{定理}
+ , tchinese = {定理}{定理}
+ , japanese = {定理}{定理}
+ , russian = {Теоремы}{Теоремы}
+ }
+ }
%</projlib-theorem>
%
%<*projlib-titlepage>