intro d hd
x y z : ℝ
hx : 0 < x
hy : 0 < y
hz : 1 ≤ z
⊢ ∀ d > 0, |(primeInterSieve x y z hz).rem d| ≤ 5
x y z : ℝ
hx : 0 < x
hy : 0 < y
hz : 1 ≤ z
d : ℕ
hd : d > 0
⊢ |(primeInterSieve x y z hz).rem d| ≤ 5