P (x'' is closer than x') for any dimension n