領域の次元 "n" が内積に関する上記の式に現われていることに注意。