^*数论(number theory)定理，即在(a×n)+b形式的所有数的集合中包含着无限多个^*素数(prime number)。式中a和b本身即为素数，n为自然数，即1，2，3，……这一定理首先由^*高斯(Gauss)提出，得到法国数学家彼得·古斯塔夫·勒热纳·狄利克雷(1805—1859)的证明。Dis 冥王 见“哈得斯”(Hades)。