只有当a和q是互质时，即它们的最大公约数是1时，才能有无穷多个素数。如果满足这个必要条件，关于算术级数的Dirichlet定理断言级数包含无穷多个素数。下图以q \u003d 9来说明这一点：传递9的倍数后，数字便“环绕”了。素数以红色突出显示。以a \u003d 3、6或9开头的行（\u003d级数）最多包含一个质数。在所有其他行（a \u003d 1、2、4、5、7和8）中，存在无限多个质数。而且，从长远来看，素数在这些行之间平均分配-模9的所有素数的密度为1/6。
与模9兼容的所有包装的密度是多少？