ポール・エルデシュ
となる。このことは、すぐにポール・エルデシュ(Paul Erdős)により単純化され、かつ拡張され、A がシュニレルマン密度 α であり、B が次数(order) k の加法的な基であれば、