Tests for Cyclic Quadrilaterals (1)