Let $\angle ABCD$ be a cyclic quadrilateral. Then