summaryrefslogtreecommitdiff
path: root/macros/latex/contrib/create-theorem/code/create-theorem-preset-names-plural-cleveref.tex
blob: 6ed6de4bfc73ee6d3e0b67833da75897809d175e (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
1004
1005
1006
1007
1008
1009
1010
1011
1012
1013
1014
1015
1016
1017
1018
1019
1020
1021
1022
1023
1024
1025
1026
1027
1028
1029
1030
1031
1032
1033
1034
1035
1036
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
1067
1068
1069
1070
1071
1072
1073
1074
1075
1076
1077
1078
1079
1080
1081
1082
1083
1084
1085
1086
1087
1088
1089
1090
1091
1092
1093
1094
1095
1096
1097
1098
1099
1100
1101
1102
1103
1104
1105
1106
1107
1108
1109
1110
1111
1112
1113
1114
1115
1116
1117
1118
1119
1120
1121
1122
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
1153
1154
1155
1156
1157
1158
1159
1160
1161
1162
1163
1164
1165
1166
1167
1168
1169
1170
1171
1172
1173
1174
1175
1176
1177
1178
1179
1180
1181
1182
1183
1184
1185
1186
1187
1188
1189
1190
1191
1192
1193
1194
1195
1196
1197
1198
1199
1200
1201
1202
1203
1204
1205
1206
1207
1208
1209
1210
1211
1212
1213
1214
1215
1216
1217
1218
1219
1220
1221
1222
1223
1224
1225
1226
1227
1228
1229
1230
1231
1232
1233
1234
1235
1236
1237
1238
1239
1240
1241
1242
1243
1244
1245
1246
1247
1248
1249
1250
1251
1252
1253
1254
1255
1256
1257
1258
1259
1260
1261
1262
1263
1264
1265
1266
1267
1268
1269
1270
1271
1272
1273
1274
1275
1276
1277
1278
1279
1280
1281
1282
1283
1284
1285
1286
1287
1288
1289
1290
1291
1292
1293
1294
1295
1296
1297
1298
1299
1300
1301
1302
1303
1304
1305
1306
1307
1308
1309
1310
1311
1312
1313
1314
1315
1316
1317
1318
1319
1320
1321
1322
1323
1324
1325
1326
1327
1328
1329
1330
1331
1332
1333
1334
1335
1336
1337
1338
1339
1340
1341
1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
1353
1354
1355
1356
1357
1358
1359
1360
1361
1362
1363
1364
1365
1366
1367
1368
1369
1370
1371
1372
1373
1374
1375
1376
1377
1378
1379
1380
1381
1382
1383
1384
1385
1386
1387
1388
1389
1390
1391
1392
1393
1394
1395
1396
1397
1398
1399
1400
1401
1402
1403
1404
1405
1406
1407
1408
1409
1410
1411
1412
1413
1414
1415
1416
1417
1418
1419
1420
1421
1422
1423
1424
1425
1426
1427
1428
1429
1430
1431
1432
1433
1434
1435
1436
1437
1438
1439
1440
1441
1442
1443
1444
1445
1446
1447
1448
1449
1450
1451
1452
1453
1454
1455
1456
1457
1458
1459
1460
1461
1462
1463
1464
1465
1466
1467
1468
1469
1470
1471
1472
1473
1474
1475
1476
1477
1478
1479
1480
1481
1482
1483
1484
1485
% 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    = 构造
                    , 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     = {Теоремы}{Теоремы}
                  }
  }