Locality and uniform correlations

Probability covariance under arbitrary basis permutations was not assumed. The required equality was derived by comparing two coherent implementations of the same transformed vector.