Good evening Annela! Here are my workings for Q9. We can also talk about angle ABC, followed by angle ADC using cyclic quadrilateral rule, then angle ADX, then angle AXD, and finally conclude that angle AXD = angle DAX for the proof.