For each formula_25 if the distance between formula_24 and formula_27 is formula_28 then the formula_24-component of formula_30 is formula_31 if formula_32 and formula_33 if formula_34 We claim that any such vector formula_35 satisfies