https://stoplearn.com/cyclic-quadrilaterals/