+#: lib/layouts/IEEEtran.layout:49
+msgid "TheoremTemplate"
+msgstr "定理ひな型"
+
+#: lib/layouts/IEEEtran.layout:65 lib/layouts/beamer.layout:1053
+#: lib/layouts/elsart.layout:286 lib/layouts/foils.layout:278
+#: lib/layouts/heb-article.layout:95 lib/layouts/ijmpc.layout:215
+#: lib/layouts/ijmpd.layout:215 lib/layouts/llncs.layout:378
+#: lib/layouts/siamltex.layout:150 lib/layouts/svjour.inc:398
+#: lib/layouts/theorems-order.inc:76 lib/layouts/theorems-proof-std.inc:6
+#: lib/layouts/theorems-proof-std.inc:22 lib/layouts/theorems-proof-std.inc:25
+#: lib/layouts/theorems-proof.inc:13 lib/layouts/theorems-bytype.module:46
+msgid "Proof"
+msgstr "証明"
+
+#: lib/layouts/IEEEtran.layout:68 lib/layouts/heb-article.layout:110
+msgid "Proof:"
+msgstr "証明:"
+
+#: lib/layouts/IEEEtran.layout:73 lib/layouts/beamer.layout:1059
+#: lib/layouts/elsart.layout:257 lib/layouts/foils.layout:218
+#: lib/layouts/heb-article.layout:18 lib/layouts/ijmpc.layout:194
+#: lib/layouts/ijmpd.layout:197 lib/layouts/llncs.layout:419
+#: lib/layouts/siamltex.layout:62 lib/layouts/siamltex.layout:112
+#: lib/layouts/svjour.inc:440 lib/layouts/theorems-ams-bytype.inc:52
+#: lib/layouts/theorems-ams-bytype.inc:53
+#: lib/layouts/theorems-ams-bytype.inc:240 lib/layouts/theorems-ams.inc:24
+#: lib/layouts/theorems-ams.inc:25 lib/layouts/theorems-ams.inc:56
+#: lib/layouts/theorems-ams.inc:59 lib/layouts/theorems-ams.inc:276
+#: lib/layouts/theorems-bytype.inc:26 lib/layouts/theorems-bytype.inc:27
+#: lib/layouts/theorems-bytype.inc:214 lib/layouts/theorems-order.inc:7
+#: lib/layouts/theorems-proof.inc:14
+#: lib/layouts/theorems-starred-equivalents.inc:6
+#: lib/layouts/theorems-starred.inc:24 lib/layouts/theorems-starred.inc:54
+#: lib/layouts/theorems-starred.inc:57 lib/layouts/theorems.inc:24
+#: lib/layouts/theorems.inc:25 lib/layouts/theorems.inc:56
+#: lib/layouts/theorems.inc:59 lib/layouts/theorems.inc:276
+#: lib/layouts/theorems-chap-bytype.module:54
+#: lib/layouts/theorems-chap.module:19 lib/layouts/theorems-chap.module:29
+#: lib/layouts/theorems-chap.module:32
+#: lib/layouts/theorems-sec-bytype.module:54
+#: lib/layouts/theorems-sec.module:18 lib/layouts/theorems-sec.module:24
+#: lib/layouts/theorems-sec.module:27
+msgid "Theorem"
+msgstr "定理"
+
+#: lib/layouts/IEEEtran.layout:76
+msgid "Theorem #:"
+msgstr "定理 #:"
+
+#: lib/layouts/IEEEtran.layout:83 lib/layouts/elsart.layout:313
+#: lib/layouts/foils.layout:243 lib/layouts/heb-article.layout:45
+#: lib/layouts/ijmpc.layout:242 lib/layouts/ijmpd.layout:247
+#: lib/layouts/llncs.layout:358 lib/layouts/siamltex.layout:82
+#: lib/layouts/svjour.inc:377 lib/layouts/theorems-ams-bytype.inc:99
+#: lib/layouts/theorems-ams.inc:83 lib/layouts/theorems-ams.inc:93
+#: lib/layouts/theorems-ams.inc:96 lib/layouts/theorems-bytype.inc:73
+#: 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.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 "補題"
+
+#: lib/layouts/IEEEtran.layout:86
+msgid "Lemma #:"
+msgstr "補題 #:"
+
+#: lib/layouts/IEEEtran.layout:93 lib/layouts/beamer.layout:989
+#: lib/layouts/elsart.layout:320 lib/layouts/foils.layout:250
+#: lib/layouts/heb-article.layout:55 lib/layouts/ijmpc.layout:233
+#: lib/layouts/ijmpd.layout:234 lib/layouts/llncs.layout:323
+#: lib/layouts/siamltex.layout:72 lib/layouts/svjour.inc:338
+#: lib/layouts/theorems-ams-bytype.inc:87 lib/layouts/theorems-ams.inc:65
+#: lib/layouts/theorems-ams.inc:75 lib/layouts/theorems-ams.inc:78
+#: lib/layouts/theorems-bytype.inc:61 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.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 "系"
+
+#: lib/layouts/IEEEtran.layout:96
+msgid "Corollary #:"
+msgstr "系 #:"
+
+#: lib/layouts/IEEEtran.layout:103 lib/layouts/elsart.layout:327
+#: lib/layouts/foils.layout:257 lib/layouts/ijmpc.layout:251
+#: lib/layouts/ijmpd.layout:257 lib/layouts/llncs.layout:392
+#: lib/layouts/siamltex.layout:92 lib/layouts/svjour.inc:412
+#: lib/layouts/theorems-ams-bytype.inc:111 lib/layouts/theorems-ams.inc:101
+#: lib/layouts/theorems-ams.inc:111 lib/layouts/theorems-ams.inc:114
+#: lib/layouts/theorems-bytype.inc:85 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.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 "命題"
+
+#: lib/layouts/IEEEtran.layout:106
+msgid "Proposition #:"
+msgstr "命題 #:"
+
+#: lib/layouts/IEEEtran.layout:113 lib/layouts/elsart.layout:362
+#: lib/layouts/ijmpc.layout:287 lib/layouts/ijmpd.layout:297
+#: lib/layouts/llncs.layout:316 lib/layouts/siamltex.layout:102
+#: lib/layouts/svjour.inc:331 lib/layouts/theorems-ams-bytype.inc:123
+#: lib/layouts/theorems-ams.inc:119 lib/layouts/theorems-ams.inc:129
+#: lib/layouts/theorems-ams.inc:132 lib/layouts/theorems-bytype.inc:97
+#: 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.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 "推論"
+
+#: lib/layouts/IEEEtran.layout:116
+msgid "Conjecture #:"
+msgstr "推論 #:"
+
+#: lib/layouts/IEEEtran.layout:123 lib/layouts/elsart.layout:334
+#: lib/layouts/theorems-ams-extended-bytype.module:60
+#: 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 "基準"
+
+#: lib/layouts/IEEEtran.layout:126
+msgid "Criterion #:"
+msgstr "基準 #:"
+
+#: lib/layouts/IEEEtran.layout:133 lib/layouts/beamer.layout:1047
+#: lib/layouts/theorems-ams-bytype.inc:135 lib/layouts/theorems-ams.inc:137
+#: lib/layouts/theorems-ams.inc:147 lib/layouts/theorems-ams.inc:150
+#: lib/layouts/theorems-bytype.inc:109 lib/layouts/theorems-starred.inc:140
+#: lib/layouts/theorems-starred.inc:143 lib/layouts/theorems.inc:137
+#: lib/layouts/theorems.inc:147 lib/layouts/theorems.inc:150
+#: lib/layouts/theorems-chap-bytype.module:114
+#: lib/layouts/theorems-sec-bytype.module:94
+msgid "Fact"
+msgstr "事実"
+
+#: lib/layouts/IEEEtran.layout:136
+msgid "Fact #:"
+msgstr "事実 #:"
+
+#: lib/layouts/IEEEtran.layout:143
+#: lib/layouts/theorems-ams-extended-bytype.module:105
+#: lib/layouts/theorems-ams-extended.module:105
+#: lib/layouts/theorems-ams-extended.module:115
+#: lib/layouts/theorems-ams-extended.module:118
+#: lib/layouts/theorems-ams-extended.module:132
+#: lib/layouts/theorems-ams-extended.module:135
+msgid "Axiom"
+msgstr "公理"
+
+#: lib/layouts/IEEEtran.layout:146
+msgid "Axiom #:"
+msgstr "公理 #:"
+
+#: lib/layouts/IEEEtran.layout:153 lib/layouts/beamer.layout:1017
+#: lib/layouts/elsart.layout:348 lib/layouts/foils.layout:264
+#: lib/layouts/heb-article.layout:75 lib/layouts/ijmpc.layout:135
+#: lib/layouts/ijmpd.layout:132 lib/layouts/llncs.layout:337
+#: lib/layouts/siamltex.layout:121 lib/layouts/svjour.inc:352
+#: lib/layouts/theorems-ams-bytype.inc:147 lib/layouts/theorems-ams.inc:155
+#: lib/layouts/theorems-ams.inc:172 lib/layouts/theorems-ams.inc:175
+#: lib/layouts/theorems-bytype.inc:121 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.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 "定義"
+
+#: lib/layouts/IEEEtran.layout:156
+msgid "Definition #:"
+msgstr "定義 #:"
+
+#: lib/layouts/IEEEtran.layout:163 lib/layouts/beamer.layout:1029
+#: lib/layouts/elsart.layout:369 lib/layouts/ijmpc.layout:167
+#: lib/layouts/ijmpd.layout:164 lib/layouts/llncs.layout:344
+#: lib/layouts/svjour.inc:359 lib/layouts/theorems-ams-bytype.inc:166
+#: lib/layouts/theorems-ams.inc:180 lib/layouts/theorems-ams.inc:189
+#: lib/layouts/theorems-ams.inc:192 lib/layouts/theorems-bytype.inc:140
+#: 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.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:886
+msgid "Example"
+msgstr "例"
+
+#: lib/layouts/IEEEtran.layout:166
+msgid "Example #:"
+msgstr "例 #:"
+
+#: lib/layouts/IEEEtran.layout:173
+#: lib/layouts/theorems-ams-extended-bytype.module:128
+#: 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 "条件"
+
+#: lib/layouts/IEEEtran.layout:176
+msgid "Condition #:"
+msgstr "条件 #:"
+
+#: lib/layouts/IEEEtran.layout:183 lib/layouts/elsart.layout:376
+#: lib/layouts/llncs.layout:371 lib/layouts/svmono.layout:161
+#: lib/layouts/svjour.inc:391 lib/layouts/theorems-ams-bytype.inc:179
+#: lib/layouts/theorems-ams.inc:197 lib/layouts/theorems-ams.inc:206
+#: lib/layouts/theorems-ams.inc:209 lib/layouts/theorems-bytype.inc:153
+#: 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.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 "問題"
+
+#: lib/layouts/IEEEtran.layout:186
+msgid "Problem #:"
+msgstr "問題 #:"
+
+#: lib/layouts/IEEEtran.layout:193 lib/layouts/llncs.layout:351
+#: lib/layouts/svjour.inc:366 lib/layouts/theorems-ams-bytype.inc:192
+#: lib/layouts/theorems-ams.inc:214 lib/layouts/theorems-ams.inc:223
+#: lib/layouts/theorems-ams.inc:226 lib/layouts/theorems-bytype.inc:166
+#: 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.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 "演習"
+
+#: lib/layouts/IEEEtran.layout:196
+msgid "Exercise #:"
+msgstr "演習 #:"
+
+#: lib/layouts/IEEEtran.layout:203 lib/layouts/elsart.layout:383
+#: lib/layouts/ijmpc.layout:176 lib/layouts/ijmpd.layout:174
+#: lib/layouts/llncs.layout:405 lib/layouts/svjour.inc:426
+#: lib/layouts/theorems-ams-bytype.inc:205 lib/layouts/theorems-ams.inc:231
+#: lib/layouts/theorems-ams.inc:249 lib/layouts/theorems-ams.inc:252
+#: lib/layouts/theorems-bytype.inc:179 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.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 "注釈"
+
+#: lib/layouts/IEEEtran.layout:206
+msgid "Remark #:"
+msgstr "注釈 #:"
+
+#: lib/layouts/IEEEtran.layout:213 lib/layouts/elsart.layout:397
+#: lib/layouts/heb-article.layout:65 lib/layouts/ijmpc.layout:278
+#: lib/layouts/ijmpd.layout:287 lib/layouts/llncs.layout:309
+#: lib/layouts/svjour.inc:309 lib/layouts/theorems-ams-bytype.inc:225
+#: lib/layouts/theorems-ams.inc:257 lib/layouts/theorems-ams.inc:266
+#: lib/layouts/theorems-ams.inc:269 lib/layouts/theorems-bytype.inc:199
+#: 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.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 "主張"
+
+#: lib/layouts/IEEEtran.layout:216
+msgid "Claim #:"
+msgstr "主張 #:"
+
+#: lib/layouts/IEEEtran.layout:223 lib/layouts/apa.layout:213
+#: lib/layouts/elsart.layout:390 lib/layouts/iopart.layout:94
+#: lib/layouts/llncs.layout:364 lib/layouts/powerdot.layout:200
+#: lib/layouts/slides.layout:167 lib/layouts/svjour.inc:384
+#: lib/layouts/theorems-ams-extended-bytype.module:151
+#: lib/layouts/theorems-ams-extended.module:174
+#: lib/layouts/theorems-ams-extended.module:183
+#: lib/layouts/theorems-ams-extended.module:186
+#: lib/layouts/theorems-ams-extended.module:200
+#: lib/layouts/theorems-ams-extended.module:203
+msgid "Note"
+msgstr "注釈"
+
+#: lib/layouts/IEEEtran.layout:226
+msgid "Note #:"
+msgstr "注釈 #:"
+
+#: lib/layouts/IEEEtran.layout:233 lib/layouts/ijmpc.layout:185
+#: lib/layouts/ijmpd.layout:184
+#: lib/layouts/theorems-ams-extended-bytype.module:174
+#: 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 "記法"
+
+#: lib/layouts/IEEEtran.layout:236
+msgid "Notation #:"
+msgstr "記法 #:"
+
+#: lib/layouts/IEEEtran.layout:243 lib/layouts/elsart.layout:412
+#: lib/layouts/llncs.layout:288 lib/layouts/svmono.layout:155
+#: lib/layouts/svmult.layout:94 lib/layouts/theorems-ams-bytype.inc:239
+#: lib/layouts/theorems-ams.inc:275 lib/layouts/theorems-ams.inc:310
+#: lib/layouts/theorems-ams.inc:313 lib/layouts/theorems-bytype.inc:213
+#: lib/layouts/theorems-order.inc:73 lib/layouts/theorems.inc:275
+#: lib/layouts/theorems.inc:300 lib/layouts/theorems.inc:303
+msgid "Case"
+msgstr "ケース"
+
+#: lib/layouts/IEEEtran.layout:246
+msgid "Case #:"
+msgstr "ケース #:"
+
+#: lib/layouts/IEEEtran.layout:272 lib/layouts/aa.layout:42
+#: lib/layouts/aa.layout:225 lib/layouts/aapaper.layout:64
+#: lib/layouts/aapaper.layout:133 lib/layouts/aastex.layout:67
+#: lib/layouts/aastex.layout:174 lib/layouts/amsart.layout:60
+#: lib/layouts/amsbook.layout:51 lib/layouts/apa.layout:308
+#: lib/layouts/beamer.layout:111 lib/layouts/beamer.layout:141
+#: lib/layouts/beamer.layout:142 lib/layouts/beamer.layout:184
+#: lib/layouts/egs.layout:30 lib/layouts/europecv.layout:29