,

,

, we obtain

Now

is an invariant, as is, therefore, also