The pullback can be computed in a different fashion. By definition, ( σ σ − − 1 ) ∗ ∗ h R 1 ( n ) ( V , V ) = h R 1 ( n ) ( ( σ σ − − 1 ) ∗ ∗ V , ( σ σ − − 1 ) ∗ ∗ V ) = η η | H R 1 ( n ) ( ( σ σ − − 1 ) ∗ ∗ V , ( σ σ − − 1 ) ∗ ∗ V ) .