प्रमेय और उपपत्तियाँ

कथनों को घोषित क्यों करें

कोई निगमनात्मक पाठ अलग-अलग कार्य वाले कथनों से बनता है: परिभाषा किसी पद का अर्थ निश्चित करती है, प्रमेय कुछ ऐसा कहता है जिसे सिद्ध किया जाएगा, प्रमेयिका किसी प्रमेय की तैयारी करती है, उपप्रमेय उससे निकलता है, टिप्पणी कुछ नया कहे बिना व्याख्या करती है। टाइपोग्राफ़ी की परंपरा उन्हें उनके शीर्षक, “प्रमेय 3.”, उनकी संख्या, जिससे उनका हवाला दिया जा सकता है, और उनके रूप से अलग पहचानती है। इस सबकी हाथ से नकल करने से कुछ नहीं रोकता: मोटे अक्षरों और लेखक की लिखी संख्या से।

\textbf{प्रमेय 2.} 2 से बड़ी हर अभाज्य संख्या विषम है।​\textbf{प्रमेयिका 3.} यदि $n$ सम है, तो $n^2$ सम है।

छपा हुआ परिणाम किसी घोषित परिवेश के परिणाम जैसा ही हो सकता है; दोष स्रोत में है, और यह वही दोष है जिसे क्रॉस-संदर्भों वाले पाठ और मैक्रो और अपनी प्रस्तावना वाले पाठ ने दूसरी वस्तुओं में दिखाया था। यदि ऐसा है, तो इससे चार हानियाँ निकलती हैं। हाथ से लिखी संख्या पहला कथन बीच में जुड़ते ही सही नहीं रहती। लेबल लगाने के लिए कुछ नहीं होता, इसलिए संदर्भ फिर हाथ से लिखी संख्या बन जाता है। रूप लेखक की स्मृति पर निर्भर करता है, और एक चूक काफ़ी है कि कोई प्रमेय बाक़ी प्रमेयों से अलग रूप में छप जाए। और यदि कोई पत्रिका कथनों को दूसरे अक्षरों में चाहे, तो हर कथन को सुधारना पड़ता है। thm परिवेश घोषित करना कार्य को नाम देता है, और उसकी परिभाषा, जो प्रस्तावना में एक बार लिखी जाती है, संख्या, शीर्षक और रूप निश्चित करती है।