Proof about parallelograms