From school days... Take positive reals x,y,z,w. The following statement is actually symmetric in x,y,z,w: "there exists an equilateral triangle of side length w, and a point whose distances from the three vertices are x,y,z"