Proving a parallelogram with one pair of sides