We should strive for a uniform style. Thus, we normally write `Proof` at the beginning of the proof, and we put empty lines between theorems.