Proving a Parallelogram