次元空間の単位球面を()のように定義し、を上の面素とし、上定義された2つの球面調和関数の内積を