Claims

../

2024_05_25_pilatte: Observes that Shiu's theorem on runs of consecutive primes in one residue class gives, for every n and d, a run of consecutive primes after the nth with sum divisible by d; site-credited, proved in Lean outside this corpus.

---