Chapter 1. Metric spaces - Proofs covered in class