上記の二つの定理から、aが0を含んでおり、正のシュニレルマン密度を持つならば、ある自然数nに対してformula_50となり、よってformula_51はすべての整数を含んでいることがわかる。