Learn to Write Mathematical Proofs