dirichlet's theorem solved
How many island solved
Chebyshevs Theorem solved
update