Move proofs to Appendix

This actually saves some space, because the appendix is given a smaller
font size.