Japanese theorem for concyclic quadrilaterals