Theorems and their proofs