+#: lib/layouts/AEA.layout:130 lib/layouts/theorems-without-preamble.inc:341
+#, fuzzy
+msgid "Case \\thecase."
+msgstr "Afirmação Claim \\theclaim."
+
+#: lib/layouts/AEA.layout:136 lib/layouts/elsart.layout:399
+#: lib/layouts/heb-article.layout:65 lib/layouts/ijmpc.layout:377
+#: lib/layouts/ijmpd.layout:397 lib/layouts/llncs.layout:307
+#: lib/layouts/svmono.layout:80 lib/layouts/theorems-ams-bytype.inc:289
+#: lib/layouts/theorems-ams-bytype.inc:299
+#: lib/layouts/theorems-ams-bytype.inc:302 lib/layouts/theorems-ams.inc:257
+#: lib/layouts/theorems-ams.inc:266 lib/layouts/theorems-ams.inc:269
+#: lib/layouts/theorems-bytype.inc:265 lib/layouts/theorems-bytype.inc:275
+#: lib/layouts/theorems-bytype.inc:278 lib/layouts/theorems-order.inc:67
+#: lib/layouts/theorems-starred-equivalents.inc:76
+#: lib/layouts/theorems-starred.inc:258 lib/layouts/theorems-starred.inc:261
+#: lib/layouts/theorems-without-preamble.inc:322
+#: lib/layouts/theorems-without-preamble.inc:325
+#: lib/layouts/theorems-without-preamble.inc:327
+#: lib/layouts/theorems-without-preamble.inc:330 lib/layouts/theorems.inc:257
+#: lib/layouts/theorems.inc:266 lib/layouts/theorems.inc:269
+#: lib/layouts/theorems-chap-bytype.module:186
+#: lib/layouts/theorems-sec-bytype.module:142
+msgid "Claim"
+msgstr "Afirmação"
+
+#: lib/layouts/AEA.layout:143
+#: lib/layouts/theorems-ams-extended-bytype.module:339
+#: lib/layouts/theorems-ams-extended-bytype.module:348
+#: lib/layouts/theorems-ams-extended-bytype.module:351
+#: lib/layouts/theorems-ams-extended-bytype.module:366
+#: lib/layouts/theorems-ams-extended-bytype.module:369
+#: lib/layouts/theorems-ams-extended.module:310
+#: lib/layouts/theorems-ams-extended.module:319
+#: lib/layouts/theorems-ams-extended.module:322
+#: lib/layouts/theorems-ams-extended.module:336
+#: lib/layouts/theorems-ams-extended.module:339
+msgid "Conclusion"
+msgstr "Conclusão"
+
+#: lib/layouts/AEA.layout:151
+#: lib/layouts/theorems-ams-extended-bytype.module:164
+#: lib/layouts/theorems-ams-extended-bytype.module:173
+#: lib/layouts/theorems-ams-extended-bytype.module:176
+#: lib/layouts/theorems-ams-extended-bytype.module:191
+#: lib/layouts/theorems-ams-extended-bytype.module:194
+#: lib/layouts/theorems-ams-extended.module:140
+#: lib/layouts/theorems-ams-extended.module:149
+#: lib/layouts/theorems-ams-extended.module:152
+#: lib/layouts/theorems-ams-extended.module:166
+#: lib/layouts/theorems-ams-extended.module:169
+msgid "Condition"
+msgstr "Condição"
+
+#: lib/layouts/AEA.layout:159 lib/layouts/elsart.layout:364
+#: lib/layouts/ijmpc.layout:389 lib/layouts/ijmpd.layout:408
+#: lib/layouts/llncs.layout:314 lib/layouts/siamltex.layout:106
+#: lib/layouts/theorems-ams-bytype.inc:145
+#: lib/layouts/theorems-ams-bytype.inc:154
+#: lib/layouts/theorems-ams-bytype.inc:157 lib/layouts/theorems-ams.inc:119
+#: lib/layouts/theorems-ams.inc:129 lib/layouts/theorems-ams.inc:132
+#: lib/layouts/theorems-bytype.inc:121 lib/layouts/theorems-bytype.inc:130
+#: lib/layouts/theorems-bytype.inc:133 lib/layouts/theorems-order.inc:31
+#: lib/layouts/theorems-starred-equivalents.inc:34
+#: lib/layouts/theorems-starred.inc:123 lib/layouts/theorems-starred.inc:126
+#: lib/layouts/theorems-without-preamble.inc:136
+#: lib/layouts/theorems-without-preamble.inc:149
+#: lib/layouts/theorems-without-preamble.inc:152 lib/layouts/theorems.inc:119
+#: lib/layouts/theorems.inc:129 lib/layouts/theorems.inc:132
+#: lib/layouts/theorems-chap-bytype.module:102
+#: lib/layouts/theorems-sec-bytype.module:86
+msgid "Conjecture"
+msgstr "Conjectura"
+
+#: lib/layouts/AEA.layout:166 lib/layouts/beamer.layout:983
+#: lib/layouts/elsart.layout:322 lib/layouts/foils.layout:250
+#: lib/layouts/heb-article.layout:55 lib/layouts/ijmpc.layout:354
+#: lib/layouts/ijmpd.layout:366 lib/layouts/llncs.layout:321
+#: lib/layouts/siamltex.layout:76 lib/layouts/theorems-ams-bytype.inc:91
+#: lib/layouts/theorems-ams-bytype.inc:101
+#: lib/layouts/theorems-ams-bytype.inc:104 lib/layouts/theorems-ams.inc:65
+#: lib/layouts/theorems-ams.inc:75 lib/layouts/theorems-ams.inc:78
+#: lib/layouts/theorems-bytype.inc:67 lib/layouts/theorems-bytype.inc:76
+#: lib/layouts/theorems-bytype.inc:79 lib/layouts/theorems-order.inc:13
+#: lib/layouts/theorems-starred-equivalents.inc:13
+#: lib/layouts/theorems-starred.inc:72 lib/layouts/theorems-starred.inc:75
+#: lib/layouts/theorems-without-preamble.inc:72
+#: lib/layouts/theorems-without-preamble.inc:78
+#: lib/layouts/theorems-without-preamble.inc:81 lib/layouts/theorems.inc:65
+#: lib/layouts/theorems.inc:75 lib/layouts/theorems.inc:78
+#: lib/layouts/theorems-chap-bytype.module:66
+#: lib/layouts/theorems-sec-bytype.module:62
+msgid "Corollary"
+msgstr "Corolário"
+
+#: lib/layouts/AEA.layout:173 lib/layouts/elsart.layout:336
+#: lib/layouts/theorems-ams-extended-bytype.module:60
+#: lib/layouts/theorems-ams-extended-bytype.module:69
+#: lib/layouts/theorems-ams-extended-bytype.module:72
+#: lib/layouts/theorems-ams-extended-bytype.module:86
+#: lib/layouts/theorems-ams-extended-bytype.module:89
+#: 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
+msgid "Criterion"
+msgstr "Critério"
+
+#: lib/layouts/AEA.layout:181 lib/layouts/beamer.layout:1011
+#: lib/layouts/elsart.layout:350 lib/layouts/foils.layout:264
+#: lib/layouts/heb-article.layout:75 lib/layouts/llncs.layout:335
+#: lib/layouts/siamltex.layout:125 lib/layouts/theorems-ams-bytype.inc:181
+#: lib/layouts/theorems-ams-bytype.inc:197
+#: lib/layouts/theorems-ams-bytype.inc:200 lib/layouts/theorems-ams.inc:155
+#: lib/layouts/theorems-ams.inc:172 lib/layouts/theorems-ams.inc:175
+#: lib/layouts/theorems-bytype.inc:157 lib/layouts/theorems-bytype.inc:173
+#: lib/layouts/theorems-bytype.inc:176 lib/layouts/theorems-order.inc:37
+#: lib/layouts/theorems-starred-equivalents.inc:41
+#: lib/layouts/theorems-starred.inc:165 lib/layouts/theorems-starred.inc:168
+#: lib/layouts/theorems-without-preamble.inc:175
+#: lib/layouts/theorems-without-preamble.inc:189
+#: lib/layouts/theorems-without-preamble.inc:192 lib/layouts/theorems.inc:155
+#: lib/layouts/theorems.inc:172 lib/layouts/theorems.inc:175
+#: lib/layouts/theorems-chap-bytype.module:126
+#: lib/layouts/theorems-sec-bytype.module:102
+msgid "Definition"
+msgstr "Definição"
+
+#: lib/layouts/AEA.layout:188 lib/layouts/beamer.layout:1023
+#: lib/layouts/elsart.layout:371 lib/layouts/llncs.layout:342
+#: lib/layouts/theorems-ams-bytype.inc:206
+#: lib/layouts/theorems-ams-bytype.inc:216
+#: lib/layouts/theorems-ams-bytype.inc:219 lib/layouts/theorems-ams.inc:180
+#: lib/layouts/theorems-ams.inc:189 lib/layouts/theorems-ams.inc:192
+#: lib/layouts/theorems-bytype.inc:182 lib/layouts/theorems-bytype.inc:192
+#: lib/layouts/theorems-bytype.inc:195 lib/layouts/theorems-order.inc:43
+#: lib/layouts/theorems-starred-equivalents.inc:48
+#: lib/layouts/theorems-starred.inc:182 lib/layouts/theorems-starred.inc:185
+#: lib/layouts/theorems-without-preamble.inc:199
+#: lib/layouts/theorems-without-preamble.inc:206
+#: lib/layouts/theorems-without-preamble.inc:209 lib/layouts/theorems.inc:180
+#: lib/layouts/theorems.inc:189 lib/layouts/theorems.inc:192
+#: lib/layouts/theorems-chap-bytype.module:138
+#: lib/layouts/theorems-sec-bytype.module:110
+#: src/frontends/qt4/GuiDocument.cpp:1137
+msgid "Example"
+msgstr "Exemplo"
+
+#: lib/layouts/AEA.layout:195 lib/layouts/llncs.layout:349
+#: lib/layouts/theorems-ams-bytype.inc:244
+#: lib/layouts/theorems-ams-bytype.inc:254
+#: lib/layouts/theorems-ams-bytype.inc:257 lib/layouts/theorems-ams.inc:214
+#: lib/layouts/theorems-ams.inc:223 lib/layouts/theorems-ams.inc:226
+#: lib/layouts/theorems-bytype.inc:220 lib/layouts/theorems-bytype.inc:230
+#: lib/layouts/theorems-bytype.inc:233 lib/layouts/theorems-order.inc:55
+#: lib/layouts/theorems-starred-equivalents.inc:62
+#: lib/layouts/theorems-starred.inc:216 lib/layouts/theorems-starred.inc:219
+#: lib/layouts/theorems-without-preamble.inc:218
+#: lib/layouts/theorems-without-preamble.inc:237
+#: lib/layouts/theorems-without-preamble.inc:290
+#: lib/layouts/theorems-without-preamble.inc:297
+#: lib/layouts/theorems-without-preamble.inc:300 lib/layouts/theorems.inc:214
+#: lib/layouts/theorems.inc:223 lib/layouts/theorems.inc:226
+#: lib/layouts/theorems-chap-bytype.module:162
+#: lib/layouts/theorems-sec-bytype.module:126
+msgid "Exercise"
+msgstr "Exercício"
+
+#: lib/layouts/AEA.layout:202 lib/layouts/elsart.layout:315
+#: lib/layouts/foils.layout:243 lib/layouts/heb-article.layout:45
+#: lib/layouts/ijmpc.layout:358 lib/layouts/ijmpd.layout:373
+#: lib/layouts/llncs.layout:356 lib/layouts/siamltex.layout:86
+#: lib/layouts/theorems-ams-bytype.inc:109
+#: lib/layouts/theorems-ams-bytype.inc:118
+#: lib/layouts/theorems-ams-bytype.inc:121 lib/layouts/theorems-ams.inc:83
+#: lib/layouts/theorems-ams.inc:93 lib/layouts/theorems-ams.inc:96
+#: lib/layouts/theorems-bytype.inc:85 lib/layouts/theorems-bytype.inc:94
+#: lib/layouts/theorems-bytype.inc:97 lib/layouts/theorems-order.inc:19
+#: lib/layouts/theorems-starred-equivalents.inc:20
+#: lib/layouts/theorems-starred.inc:89 lib/layouts/theorems-starred.inc:92
+#: lib/layouts/theorems-without-preamble.inc:88
+#: lib/layouts/theorems-without-preamble.inc:94
+#: lib/layouts/theorems-without-preamble.inc:97 lib/layouts/theorems.inc:83
+#: lib/layouts/theorems.inc:93 lib/layouts/theorems.inc:96
+#: lib/layouts/theorems-chap-bytype.module:78
+#: lib/layouts/theorems-sec-bytype.module:70
+msgid "Lemma"
+msgstr "Lema"
+
+#: lib/layouts/AEA.layout:209 lib/layouts/agutex.layout:157
+#: lib/layouts/agutex.layout:169
+#: lib/layouts/theorems-ams-extended-bytype.module:234
+#: lib/layouts/theorems-ams-extended-bytype.module:243
+#: lib/layouts/theorems-ams-extended-bytype.module:246
+#: lib/layouts/theorems-ams-extended-bytype.module:261
+#: lib/layouts/theorems-ams-extended-bytype.module:264
+#: lib/layouts/theorems-ams-extended.module:208
+#: lib/layouts/theorems-ams-extended.module:217
+#: lib/layouts/theorems-ams-extended.module:220
+#: lib/layouts/theorems-ams-extended.module:234
+#: lib/layouts/theorems-ams-extended.module:237
+msgid "Notation"
+msgstr "Notação"
+
+#: lib/layouts/AEA.layout:217 lib/layouts/elsart.layout:378
+#: lib/layouts/llncs.layout:369 lib/layouts/theorems-ams-bytype.inc:225
+#: lib/layouts/theorems-ams-bytype.inc:235
+#: lib/layouts/theorems-ams-bytype.inc:238 lib/layouts/theorems-ams.inc:197
+#: lib/layouts/theorems-ams.inc:206 lib/layouts/theorems-ams.inc:209
+#: lib/layouts/theorems-bytype.inc:201 lib/layouts/theorems-bytype.inc:211
+#: lib/layouts/theorems-bytype.inc:214 lib/layouts/theorems-order.inc:49
+#: lib/layouts/theorems-starred-equivalents.inc:55
+#: lib/layouts/theorems-starred.inc:199 lib/layouts/theorems-starred.inc:202
+#: lib/layouts/theorems-without-preamble.inc:216
+#: lib/layouts/theorems-without-preamble.inc:224
+#: lib/layouts/theorems-without-preamble.inc:227 lib/layouts/theorems.inc:197
+#: lib/layouts/theorems.inc:206 lib/layouts/theorems.inc:209
+#: lib/layouts/theorems-chap-bytype.module:150
+#: lib/layouts/theorems-sec-bytype.module:118
+msgid "Problem"
+msgstr "Problema"
+
+#: lib/layouts/AEA.layout:225 lib/layouts/elsart.layout:329
+#: lib/layouts/foils.layout:257 lib/layouts/ijmpc.layout:362
+#: lib/layouts/ijmpd.layout:380 lib/layouts/llncs.layout:390
+#: lib/layouts/siamltex.layout:96 lib/layouts/theorems-ams-bytype.inc:127
+#: lib/layouts/theorems-ams-bytype.inc:136
+#: lib/layouts/theorems-ams-bytype.inc:139 lib/layouts/theorems-ams.inc:101
+#: lib/layouts/theorems-ams.inc:111 lib/layouts/theorems-ams.inc:114
+#: lib/layouts/theorems-bytype.inc:103 lib/layouts/theorems-bytype.inc:112
+#: lib/layouts/theorems-bytype.inc:115 lib/layouts/theorems-order.inc:25
+#: lib/layouts/theorems-starred-equivalents.inc:27
+#: lib/layouts/theorems-starred.inc:106 lib/layouts/theorems-starred.inc:109
+#: lib/layouts/theorems-without-preamble.inc:104
+#: lib/layouts/theorems-without-preamble.inc:110
+#: lib/layouts/theorems-without-preamble.inc:113 lib/layouts/theorems.inc:101
+#: lib/layouts/theorems.inc:111 lib/layouts/theorems.inc:114
+#: lib/layouts/theorems-chap-bytype.module:90
+#: lib/layouts/theorems-sec-bytype.module:78
+msgid "Proposition"
+msgstr "Proposição"
+
+#: lib/layouts/AEA.layout:232 lib/layouts/elsart.layout:385
+#: lib/layouts/ijmpc.layout:346 lib/layouts/ijmpd.layout:355
+#: lib/layouts/llncs.layout:403 lib/layouts/theorems-ams-bytype.inc:263
+#: lib/layouts/theorems-ams-bytype.inc:280
+#: lib/layouts/theorems-ams-bytype.inc:283 lib/layouts/theorems-ams.inc:231
+#: lib/layouts/theorems-ams.inc:249 lib/layouts/theorems-ams.inc:252
+#: lib/layouts/theorems-bytype.inc:239 lib/layouts/theorems-bytype.inc:256
+#: lib/layouts/theorems-bytype.inc:259 lib/layouts/theorems-order.inc:61
+#: lib/layouts/theorems-starred-equivalents.inc:69
+#: lib/layouts/theorems-starred.inc:241 lib/layouts/theorems-starred.inc:244
+#: lib/layouts/theorems-without-preamble.inc:307
+#: lib/layouts/theorems-without-preamble.inc:314
+#: lib/layouts/theorems-without-preamble.inc:317 lib/layouts/theorems.inc:231
+#: lib/layouts/theorems.inc:249 lib/layouts/theorems.inc:252
+#: lib/layouts/theorems-chap-bytype.module:174
+#: lib/layouts/theorems-sec-bytype.module:134
+msgid "Remark"
+msgstr "Observação"
+
+#: lib/layouts/AEA.layout:234 lib/layouts/ijmpc.layout:347
+#: lib/layouts/ijmpd.layout:356 lib/layouts/theorems-ams-bytype.inc:266
+#: lib/layouts/theorems-bytype.inc:242
+#: lib/layouts/theorems-without-preamble.inc:311
+msgid "Remark \\theremark."
+msgstr "Observação \\theremark."
+
+#: lib/layouts/AEA.layout:240 lib/layouts/llncs.layout:410
+#: lib/layouts/svglobal3.layout:85
+#: lib/layouts/theorems-without-preamble.inc:264
+#: lib/layouts/theorems-without-preamble.inc:271
+#: lib/layouts/theorems-without-preamble.inc:274
+msgid "Solution"
+msgstr "Solução"