ഡിറിക്ലെറ്റ് പ്രമേയം
ഈ വ്യവസ്ഥ തൃപ്തിപ്പെട്ടാൽ, ഗണിതപുരോഗതിയിലെ ഡിറിക്ലെറ്റ്സ് പ്രമേയം പുരോഗതിയിൽ അനന്തമായ നിരവധി മൌലിക സംഖ്യകൾ അടങ്ങിയിരിക്കുന്നുവെന്ന് വാദിക്കുന്നു.
a, q എന്നിവ സഹപ്രൈം (coprime) ആണെങ്കിൽ, ഒരു ഗണിത പുരോഗതിക്ക് അനന്തമായ അക്കങ്ങൾ ഉണ്ടെന്നാണോ ഏതു സിദ്ധാന്തം പറയുന്നത്?