Entonces si "x" e "y" tienen las mismas propiedades, entonces en particular son iguales con respecto al predicado "P" dado por "P"("z") si y sólo si "x" = "z", puesto que "P"("x") vale, "P"("y") deben también valer, luego "x" = "y" dependiendo de la variable.