Proof

• How to Reduce Space Between a Proof and an Enumerated List
  Use enumitem’s topsep option to reduce space around an enumerate list; adjust the proof environment too if its bottom spacing remains.
• How to Prove the Dot Product Is Distributive
  The dot product distributes over vector addition because its coordinate formula is a sum of products; follow a componentwise proof and worked example.