∑p≤xp≡hmod⁢k1p=1ϕ⁡k⁢log⁡log⁡x+B+O⁡1log⁡x,