Theorems about quadrilaterals