P1: Intersect[Circle[(0,0), 1], c1, 1]