Proof. [02QV]

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.

In view of equations (4.49) and (4.39), it is enough to prove that $M(\sigma)=M(F_{\sigma})$ . But this follows from the fact that $L_{F_{\sigma}}=\sigma^{\perp}$ (see Notation 3.103). ∎