https://stoplearn.com/theorems-and-proof-relating-to-cyclic-quadrilateral/