+#: lib/layouts/theorems-without-preamble.inc:52
+msgid "Theorem \\thetheorem"
+msgstr "Teoréma \\thetheorem"
+
+#: lib/layouts/theorems-without-preamble.inc:76
+msgid "Corollary \\thecorollary"
+msgstr "Korolár \\thecorollary"
+
+#: lib/layouts/theorems-without-preamble.inc:92
+msgid "Lemma \\thelemma"
+msgstr "Lemma \\thelemma"
+
+#: lib/layouts/theorems-without-preamble.inc:108
+msgid "Proposition \\theproposition"
+msgstr "Tvrdenie \\theproposition"
+
+#: lib/layouts/theorems-without-preamble.inc:124
+msgid "Prop \\theprop."
+msgstr "Téza \\theprop."
+
+#: lib/layouts/theorems-without-preamble.inc:140
+msgid "Conjecture \\theconjecture"
+msgstr "Hypotéza \\theconjecture"
+
+#: lib/layouts/theorems-without-preamble.inc:179
+msgid "Definition \\thedefinition"
+msgstr "Definícia \\thedefinition"
+
+#: lib/layouts/theorems-without-preamble.inc:203
+msgid "Example \\theexample"
+msgstr "Príklad \\theexample"
+
+#: lib/layouts/theorems-without-preamble.inc:221
+msgid "Problem \\theproblem"
+msgstr "Problém \\theproblem"
+
+#: lib/layouts/theorems-without-preamble.inc:236
+msgid "Prob"
+msgstr "Problém"
+
+#: lib/layouts/theorems-without-preamble.inc:243
+msgid "\\theprob."
+msgstr "\\theprop."
+
+#: lib/layouts/theorems-without-preamble.inc:279
+msgid "Sol"
+msgstr "Riešenie"
+
+#: lib/layouts/theorems-without-preamble.inc:283
+msgid "# [number of Prob]"
+msgstr "# [číslo problému(Prob)]"
+
+#: lib/layouts/theorems-without-preamble.inc:294
+msgid "Exercise \\theexercise"
+msgstr "Úloha \\theexercise"
+
+#: lib/layouts/theorems-without-preamble.inc:311
+msgid "Remark \\theremark"
+msgstr "Pripomienka \\theremark"
+
+#: lib/layouts/theorems-without-preamble.inc:341
+msgid "Case \\thecase"
+msgstr "Prípad \\thecase"
+
+#: lib/layouts/theorems-without-preamble.inc:358
+msgid "Property \\theproperty"
+msgstr "Vlastnosť \\theproperty"
+
+#: lib/layouts/theorems-without-preamble.inc:375
+msgid "Question \\thequestion"
+msgstr "Otázka \\thequestion"
+
+#: lib/layouts/theorems-without-preamble.inc:392
+msgid "Note \\thenote"
+msgstr "Poznámka \\thenote"
+