Jst wondering, is proving one property of a cyclic quad sufficient to conclude that points are concyclic?