each possible choice of defines a single function. let be the set of all such functions and let be the uniform distribution once again. it is not difficult to prove that, for two vectors formula_71, formula_72, where formula_73 is the angle between and . formula_74 is closely related to formula_75.