Proven Sierpinski/Riesel conjectures