5.7: Parallelogram Conjectures and Proof