Japanese theorem for concyclic quadrilaterals
 
x
OK