Theorem 6: A parallelogram is a rectangle if and only if the diagonals are the same length.
Since this is an "if and only if" proof, there are two things to prove.
1. Given: ABCD is a rectangle.
To prove: AC = BD
and the converse
2. Given: ABCD is a parallelogram, AC = BD
To prove: ABCD is a rectangle.