ここに、formula_18は単位2-球面の上の回転する計量である。