-"paket Teorema AMS. Paket AMS termasuk Criterion, Algorithm, Axiom, "
-"Condition, Note, Notation, Summary, Acknowledgement, Conclusion, Fact, "
-"Assumption, dan Case, baik dalam bentuk bernomor atau tanpa nomor. Berlainan "
-"dengan modul AMS-extended biasa, berbagai tipe teorema yang disediakan "
-"disini masing-masing mempunyai sistem penghitung yang terpisah (misal, "
-"kriteria 1, kriteria 2, aksioma 1, asumsi 1, kriteria 3, ...,akan berlainan "
-"dengan kriteria 1, kriteria 2, aksioma 3, asumsi 4, ...)."
+"paket Teorema AMS. Paket AMS termasuk Kriteria, Algoritma, Aksioma, Kondisi, "
+"Nota, Notasi, Rungkasan, Penghargaan, Kesimpulan, Fakta, Asumsi, dan Kasus, "
+"baik dalam bentuk bernomor atau tanpa nomor. Berlainan dengan modul AMS-"
+"extended biasa, berbagai tipe teorema yang disediakan disini masing-masing "
+"mempunyai sistem penghitung yang terpisah (misal, kriteria 1, kriteria 2, "
+"aksioma 1, asumsi 1, kriteria 3, ...,akan berlainan dengan kriteria 1, "
+"kriteria 2, aksioma 3, asumsi 4, ...)."