+#: lib/layouts/theorems-counters-bytype.inc:30
+msgid "Fact \\arabic{theorem}"
+msgstr "事実 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-bytype.inc:48
+msgid "Exercise \\arabic{theorem}"
+msgstr "演習 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-bytype.inc:53
+msgid "Solution \\arabic{theorem}"
+msgstr "解 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:16
+msgid "Axiom \\arabic{theorem}"
+msgstr "公理 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:20
+msgid "Condition \\arabic{theorem}"
+msgstr "条件 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:28
+msgid "Notation \\arabic{theorem}"
+msgstr "記法 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:32
+msgid "Summary \\arabic{theorem}"
+msgstr "要約 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:36
+msgid "Conclusion \\arabic{theorem}"
+msgstr "結論 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:40
+msgid "Assumption \\arabic{theorem}"
+msgstr "仮定 \\arabic{theorem}"
+
+#: lib/layouts/theorems-counters-extended-bytype.inc:44
+msgid "Question \\arabic{theorem}"
+msgstr "問 \\arabic{theorem}"
+