[Spacing in Proof and Theorem Environment]