-#: lib/layouts/amsmaths-plain.inc:64 lib/layouts/amsmaths.inc:169
-#: lib/layouts/theorems-ams.inc:125
-msgid "Conjecture."
-msgstr "推論."
-
-#: lib/layouts/amsmaths-plain.inc:70 lib/layouts/amsmaths.inc:190
-msgid "Criterion."
-msgstr "基準."
-
-#: lib/layouts/amsmaths-plain.inc:76 lib/layouts/amsmaths.inc:212
-msgid "Algorithm."
-msgstr "アルゴリズム."
-
-#: lib/layouts/amsmaths-plain.inc:88 lib/layouts/amsmaths.inc:256
-msgid "Axiom."
-msgstr "公理."
-
-#: lib/layouts/amsmaths-plain.inc:106 lib/layouts/amsmaths.inc:330
-#: lib/layouts/theorems-ams.inc:254
-msgid "Condition."
-msgstr "条件."
-
-#: lib/layouts/amsmaths-plain.inc:112 lib/layouts/amsmaths.inc:352
-#: lib/layouts/theorems-ams.inc:276
-msgid "Problem."
-msgstr "問題."
-
-#: lib/layouts/amsmaths-plain.inc:118 lib/layouts/amsmaths.inc:374
-#: lib/layouts/theorems-ams.inc:299
-msgid "Exercise."
-msgstr "演習."
-
-#: lib/layouts/amsmaths-plain.inc:124 lib/layouts/amsmaths.inc:405
-#: lib/layouts/theorems-ams.inc:330
-msgid "Remark."
-msgstr "注釈."
-
-#: lib/layouts/amsmaths-plain.inc:136 lib/layouts/amsmaths.inc:449
-#: lib/layouts/theorems-ams.inc:374
-msgid "Note."
-msgstr "注釈."
-
-#: lib/layouts/amsmaths-plain.inc:142 lib/layouts/amsmaths.inc:471
-#: lib/layouts/theorems-ams.inc:396
-msgid "Notation."
-msgstr "記法."
-
-#: lib/layouts/amsmaths-plain.inc:148 lib/layouts/amsmaths.inc:493
-msgid "Summary."
-msgstr "要約."
-
-#: lib/layouts/amsmaths-plain.inc:158 lib/layouts/amsmaths-seq.inc:350
-#: lib/layouts/amsmaths.inc:523 lib/layouts/theorems-ams.inc:448
-#: lib/layouts/theorems.inc:169
-msgid "Conclusion"
-msgstr "結論"
-
-#: lib/layouts/amsmaths-plain.inc:160 lib/layouts/amsmaths.inc:537
-#: lib/layouts/theorems-ams.inc:462
-msgid "Conclusion."
-msgstr "結論."
-
-#: lib/layouts/amsmaths-plain.inc:164 lib/layouts/amsmaths-seq.inc:360
-#: lib/layouts/amsmaths.inc:545
-msgid "Assumption"
-msgstr "仮定"
-
-#: lib/layouts/amsmaths-plain.inc:166 lib/layouts/amsmaths.inc:559
-msgid "Assumption."
-msgstr "仮定."
-
-#: lib/layouts/amsmaths-seq.inc:152
-msgid "Theorem \\arabic{thm}."
-msgstr "定理 \\arabic{thm}."
-
-#: lib/layouts/amsmaths-seq.inc:202
-msgid "Criterion \\arabic{criterion}."
-msgstr "基準 \\arabic{criterion}."
-
-#: lib/layouts/amsmaths-seq.inc:212
-msgid "Algorithm \\arabic{algorithm}."
-msgstr "アルゴリズム \\arabic{algorithm}."
-
-#: lib/layouts/amsmaths-seq.inc:222
-msgid "Fact \\arabic{fact}."
-msgstr "事実 \\arabic{fact}."
-
-#: lib/layouts/amsmaths-seq.inc:232
-msgid "Axiom \\arabic{axiom}."
-msgstr "公理 \\arabic{axiom}."
-
-#: lib/layouts/amsmaths-seq.inc:262
-msgid "Condition \\arabic{condition}."
-msgstr "条件 \\arabic{condition}."
-
-#: lib/layouts/amsmaths-seq.inc:272
-msgid "Problem \\arabic{problem}."
-msgstr "問題 \\arabic{problem}."
-
-#: lib/layouts/amsmaths-seq.inc:282
-msgid "Exercise \\arabic{exercise}."
-msgstr "演習 \\arabic{exercise}."
-
-#: lib/layouts/amsmaths-seq.inc:312
-msgid "Note \\arabic{note}."
-msgstr "注釈 \\arabic{note}."
-
-#: lib/layouts/amsmaths-seq.inc:332
-msgid "Summary \\arabic{summary}."
-msgstr "要約 \\arabic{summary}."
-
-#: lib/layouts/amsmaths-seq.inc:342
-msgid "Acknowledgement \\arabic{acknowledgement}."
-msgstr "謝辞 \\arabic{acknowledgement}."
-
-#: lib/layouts/amsmaths-seq.inc:352
-msgid "Conclusion \\arabic{conclusion}."
-msgstr "結論 \\arabic{conclusion}."
-
-#: lib/layouts/amsmaths-seq.inc:362
-msgid "Assumption \\arabic{assumption}."
-msgstr "仮定 \\arabic{assumption}."
-
-#: lib/layouts/amsmaths.inc:92
-msgid "Corollary @Section@.\\arabic{theorem}."
-msgstr "系 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:114
-msgid "Lemma @Section@.\\arabic{theorem}."
-msgstr "補題 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:136
-msgid "Proposition @Section@.\\arabic{theorem}."
-msgstr "命題 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:158
-msgid "Conjecture @Section@.\\arabic{theorem}."
-msgstr "予想 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:166 lib/layouts/theorems-ams.inc:122
-msgid "Conjecture*"
-msgstr "予想*"
-
-#: lib/layouts/amsmaths.inc:180
-msgid "Criterion @Section@.\\arabic{theorem}."
-msgstr "基準 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:187
-msgid "Criterion*"
-msgstr "基準*"
-
-#: lib/layouts/amsmaths.inc:201
-msgid "Algorithm @Section@.\\arabic{theorem}."
-msgstr "アルゴリズム @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:209
-msgid "Algorithm*"
-msgstr "アルゴリズム*"
-
-#: lib/layouts/amsmaths.inc:223
-msgid "Fact @Section@.\\arabic{theorem}."
-msgstr "事実 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:231 lib/layouts/theorems-ams.inc:166
-msgid "Fact*"
-msgstr "事実*"
-
-#: lib/layouts/amsmaths.inc:245
-msgid "Axiom @Section@.\\arabic{theorem}."
-msgstr "公理 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:253
-msgid "Axiom*"
-msgstr "公理*"
-
-#: lib/layouts/amsmaths.inc:267
-msgid "Definition @Section@.\\arabic{theorem}."
-msgstr "定義 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:297
-msgid "Example @Section@.\\arabic{theorem}."
-msgstr "例 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:305 lib/layouts/theorems-ams.inc:229
-msgid "Example*"
-msgstr "例*"
-
-#: lib/layouts/amsmaths.inc:319
-msgid "Condition @Section@.\\arabic{theorem}."
-msgstr "条件 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:327 lib/layouts/theorems-ams.inc:251
-msgid "Condition*"
-msgstr "条件*"
-
-#: lib/layouts/amsmaths.inc:341
-msgid "Problem @Section@.\\arabic{theorem}."
-msgstr "問題 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:349 lib/layouts/theorems-ams.inc:273
-msgid "Problem*"
-msgstr "問題*"
-
-#: lib/layouts/amsmaths.inc:363
-msgid "Exercise @Section@.\\arabic{theorem}."
-msgstr "円周 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:371 lib/layouts/theorems-ams.inc:296
-msgid "Exercise*"
-msgstr "演習*"
-
-#: lib/layouts/amsmaths.inc:385
-msgid "Remark @Section@.\\arabic{theorem}."
-msgstr "注釈 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:401 lib/layouts/theorems-ams.inc:326
-msgid "Remark*"
-msgstr "注釈*"
-
-#: lib/layouts/amsmaths.inc:416
-msgid "Claim @Section@.\\arabic{theorem}."
-msgstr "主張 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:424 lib/layouts/theorems-ams.inc:349
-msgid "Claim*"
-msgstr "主張*"
-
-#: lib/layouts/amsmaths.inc:438
-msgid "Note @Section@.\\arabic{theorem}."
-msgstr "注釈 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:446 lib/layouts/theorems-ams.inc:371
-msgid "Note*"
-msgstr "注釈*"
-
-#: lib/layouts/amsmaths.inc:460
-msgid "Notation @Section@.\\arabic{theorem}."
-msgstr "記法 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:468 lib/layouts/theorems-ams.inc:393
-msgid "Notation*"
-msgstr "記法*"
-
-#: lib/layouts/amsmaths.inc:482
-msgid "Summary @Section@.\\arabic{theorem}."
-msgstr "要約 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:490
-msgid "Summary*"
-msgstr "要約*"
-
-#: lib/layouts/amsmaths.inc:504
-msgid "Acknowledgement @Section@.\\arabic{theorem}."
-msgstr "謝辞 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:512 lib/layouts/theorems-ams.inc:426
-msgid "Acknowledgement*"
-msgstr "謝辞*"
-
-#: lib/layouts/amsmaths.inc:526
-msgid "Conclusion @Section@.\\arabic{theorem}."
-msgstr "結論 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:534 lib/layouts/theorems-ams.inc:459
-msgid "Conclusion*"
-msgstr "結論*"
-
-#: lib/layouts/amsmaths.inc:548
-msgid "Assumption @Section@.\\arabic{theorem}."
-msgstr "仮定 @Section@.\\arabic{theorem}."
-
-#: lib/layouts/amsmaths.inc:556
-msgid "Assumption*"
-msgstr "仮定*"
-