() is a vector;, and therefore also, an invariant; thus () is a vector; in the same way it may be shown that (
