Japanese_theorem_for_concyclic_polygons loading ...