Theorems about quadrilaterals and circles