Proving Theorems about Quadrilaterals