This question was asked in Theorem 10.12

The quad formed by angle bisectors of a cyclic quad is also cyclic.

Mukul Parmar's image