Proof. [02T4]
Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
Complete original source context · Original author HTML
Proof.
If and are two toric sections, then there is an element such that . Since for any element we have , if the function is -invariant, then the function is also -invariant. ∎