Comment by lasersox

How do you know the proofs are correct?