+#: lib/layouts/elsart.layout:188 lib/layouts/revtex4.layout:185
+#: lib/layouts/amsdefs.inc:173
+msgid "Thanks"
+msgstr ""
+
+#: lib/layouts/elsart.layout:272
+msgid "Theorem \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:301
+msgid "PROOF."
+msgstr ""
+
+#: lib/layouts/elsart.layout:312 lib/layouts/foils.layout:243
+#: lib/layouts/heb-article.layout:45 lib/layouts/IEEEtran.layout:83
+#: lib/layouts/ijmpc.layout:238 lib/layouts/ijmpd.layout:243
+#: lib/layouts/llncs.layout:351 lib/layouts/siamltex.layout:82
+#: lib/layouts/svjour.inc:373 lib/layouts/theorems.inc:83
+#: lib/layouts/theorems.inc:93 lib/layouts/theorems.inc:96
+#: lib/layouts/theorems-ams.inc:83 lib/layouts/theorems-ams.inc:93
+#: lib/layouts/theorems-ams.inc:96 lib/layouts/theorems-ams-bytype.inc:98
+#: lib/layouts/theorems-bytype.inc:73 lib/layouts/theorems-order.inc:19
+#: lib/layouts/theorems-starred.inc:89 lib/layouts/theorems-starred.inc:92
+#: lib/layouts/theorems-starred-equivalents.inc:20
+#: lib/layouts/theorems-chap-bytype.module:78
+#: lib/layouts/theorems-sec-bytype.module:70
+msgid "Lemma"
+msgstr ""
+
+#: lib/layouts/elsart.layout:315
+msgid "Lemma \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:322
+msgid "Corollary \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:326 lib/layouts/foils.layout:257
+#: lib/layouts/IEEEtran.layout:103 lib/layouts/ijmpc.layout:247
+#: lib/layouts/ijmpd.layout:253 lib/layouts/llncs.layout:385
+#: lib/layouts/siamltex.layout:92 lib/layouts/svjour.inc:408
+#: lib/layouts/theorems.inc:101 lib/layouts/theorems.inc:111
+#: lib/layouts/theorems.inc:114 lib/layouts/theorems-ams.inc:101
+#: lib/layouts/theorems-ams.inc:111 lib/layouts/theorems-ams.inc:114
+#: lib/layouts/theorems-ams-bytype.inc:110 lib/layouts/theorems-bytype.inc:85
+#: lib/layouts/theorems-order.inc:25 lib/layouts/theorems-starred.inc:106
+#: lib/layouts/theorems-starred.inc:109
+#: lib/layouts/theorems-starred-equivalents.inc:27
+#: lib/layouts/theorems-chap-bytype.module:90
+#: lib/layouts/theorems-sec-bytype.module:78
+msgid "Proposition"
+msgstr ""
+
+#: lib/layouts/elsart.layout:329
+msgid "Proposition \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:333 lib/layouts/IEEEtran.layout:123
+#: lib/layouts/theorems-ams-extended.module:36
+#: lib/layouts/theorems-ams-extended.module:46
+#: lib/layouts/theorems-ams-extended.module:49
+#: lib/layouts/theorems-ams-extended.module:62
+#: lib/layouts/theorems-ams-extended.module:65
+#: lib/layouts/theorems-ams-extended-bytype.module:60
+msgid "Criterion"
+msgstr ""
+
+#: lib/layouts/elsart.layout:336
+msgid "Criterion \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:340 lib/layouts/powerdot.layout:398
+#: lib/layouts/siamltex.layout:111 lib/layouts/stdfloats.inc:50
+#: lib/layouts/theorems-ams-extended.module:70
+#: lib/layouts/theorems-ams-extended.module:80
+#: lib/layouts/theorems-ams-extended.module:83
+#: lib/layouts/theorems-ams-extended.module:97
+#: lib/layouts/theorems-ams-extended.module:100
+#: lib/layouts/theorems-ams-extended-bytype.module:82
+msgid "Algorithm"
+msgstr ""
+
+#: lib/layouts/elsart.layout:343
+msgid "Algorithm \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:350
+msgid "Definition \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:361 lib/layouts/IEEEtran.layout:113
+#: lib/layouts/ijmpc.layout:283 lib/layouts/ijmpd.layout:293
+#: lib/layouts/llncs.layout:309 lib/layouts/siamltex.layout:102
+#: lib/layouts/svjour.inc:327 lib/layouts/theorems.inc:119
+#: lib/layouts/theorems.inc:129 lib/layouts/theorems.inc:132
+#: lib/layouts/theorems-ams.inc:119 lib/layouts/theorems-ams.inc:129
+#: lib/layouts/theorems-ams.inc:132 lib/layouts/theorems-ams-bytype.inc:122
+#: lib/layouts/theorems-bytype.inc:97 lib/layouts/theorems-order.inc:31
+#: lib/layouts/theorems-starred.inc:123 lib/layouts/theorems-starred.inc:126
+#: lib/layouts/theorems-starred-equivalents.inc:34
+#: lib/layouts/theorems-chap-bytype.module:102
+#: lib/layouts/theorems-sec-bytype.module:86
+msgid "Conjecture"
+msgstr ""
+
+#: lib/layouts/elsart.layout:364
+msgid "Conjecture \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:371
+msgid "Example \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:375 lib/layouts/IEEEtran.layout:183
+#: lib/layouts/llncs.layout:364 lib/layouts/svmono.layout:161
+#: lib/layouts/svjour.inc:387 lib/layouts/theorems.inc:197
+#: lib/layouts/theorems.inc:206 lib/layouts/theorems.inc:209
+#: lib/layouts/theorems-ams.inc:197 lib/layouts/theorems-ams.inc:206
+#: lib/layouts/theorems-ams.inc:209 lib/layouts/theorems-ams-bytype.inc:178
+#: lib/layouts/theorems-bytype.inc:153 lib/layouts/theorems-order.inc:49
+#: lib/layouts/theorems-starred.inc:199 lib/layouts/theorems-starred.inc:202
+#: lib/layouts/theorems-starred-equivalents.inc:55
+#: lib/layouts/theorems-chap-bytype.module:150
+#: lib/layouts/theorems-sec-bytype.module:118
+msgid "Problem"
+msgstr ""
+
+#: lib/layouts/elsart.layout:378
+msgid "Problem \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:382 lib/layouts/IEEEtran.layout:203
+#: lib/layouts/ijmpc.layout:172 lib/layouts/ijmpd.layout:170
+#: lib/layouts/llncs.layout:398 lib/layouts/svjour.inc:422
+#: lib/layouts/theorems.inc:231 lib/layouts/theorems.inc:249
+#: lib/layouts/theorems.inc:252 lib/layouts/theorems-ams.inc:231
+#: lib/layouts/theorems-ams.inc:249 lib/layouts/theorems-ams.inc:252
+#: lib/layouts/theorems-ams-bytype.inc:204 lib/layouts/theorems-bytype.inc:179
+#: lib/layouts/theorems-order.inc:61 lib/layouts/theorems-starred.inc:241
+#: lib/layouts/theorems-starred.inc:244
+#: lib/layouts/theorems-starred-equivalents.inc:69
+#: lib/layouts/theorems-chap-bytype.module:174
+#: lib/layouts/theorems-sec-bytype.module:134
+msgid "Remark"
+msgstr ""
+
+#: lib/layouts/elsart.layout:385
+msgid "Remark \\arabic{theorem}"
+msgstr ""
+
+#: lib/layouts/elsart.layout:392
+msgid "Note \\arabic{theorem}"