Proof for mean-value formula

In class today, we shortly discussed Theorem 2.3.3 on the mean-value formula for the heat equation. As some details are not so easy to follow in the book, I've uploaded a proof with more details in the folder "Occasional notes" on the web page for those that are particularly interested (it is not curicculum).