Proving The Parallelogram Diagonal Theorem