Diagonally Square Proof Sorter

In the task Diagonally Square, we wondered whether the diagonals of a square always meet at right angles.

Once you have had a good think about it, you might like to look at the proof below that has been scrambled up.
Can you rearrange the steps into the correct order?