ਡਿਰੀਚਲੇਟ ਥਿਊਰਮ
ਜੇਕਰ ਇਹ ਲੋੜੀਂਦੀ ਸ਼ਰਤ ਸੰਤੁਸ਼ਟ ਹੋ ਜਾਂਦੀ ਹੈ, ਤਾਂ ਅਂਕਗਣਿਤਿਕ ਪ੍ਰੋਗਰੈਸ਼ਨਾਂ ਉੱਤੇ ਡਿਰੀਚਲੇਟ ਦੀ ਥਿਊਰਮ ਜ਼ੋਰ ਦਿੰਦੀ ਹੈ ਕਿ ਤਰੱਕੀ ਵਿੱਚ ਅਨੰਤ ਤੌਰ ਤੇ ਬਹੁਤ ਸਾਰੇ ਅਭਾਜ੍ਯ ਅਭਾਜ੍ਯ ਹੁੰਦੇ ਹਨ।
ਜੇਕਰ a ਅਤੇ q ਸਹਿ-ਪ੍ਰਾਇਮ ਹਨ, ਤਾਂ ਕਿਹੜੀ ਥਿਊਰਮ ਮੰਨਦੀ ਹੈ ਕਿ ਕਿਸੇ ਗਣਿਤ ਦੀ ਤਰੱਕੀ ਵਿੱਚ ਅਨੰਤ ਗਿਣਤੀ ਵਿੱਚ ਅਭਾਜ੍ਯ ਅਭਾਜ੍ਯ ਹੁੰਦੇ ਹਨ?