Proving a quadrilateral is a rectangle