Proving Parallelogram1