This question was asked in Theorem 10.12
How ABCD' is a cyclic quadrilateral


Pradeep Patel's image