Chapter 6.3: Proving Parallelograms