Testing Concyclic in circle

Information: Testing Concyclic in circle