と変数分離形で書けていた場合には、(),(),()で定義した内積は以下の性質を満たす。