Let $ABCD$ be a cyclic quadrilateral. Then