Proof. [04I4]
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.
Let and be the lattices induced from the integral affine structures on and , respectively. From Theorem 3.3 it follows that and are symplectomorphic to and , respectively. Given an integral affine isomorphism between and , clearly is a symplectomorphism between and inducing an isomorphism between and . Therefore descends to a symplectomorphism between and . Defining the claim follows. ∎