Added theorem environment to paper.tex, updated proofs.tex with examples