Proving that the Quadrilateral is a . . . . (8.3)