Proof. [04HG]
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.
The decomposition can continue as long as there exists a real number , such that the Lagrangian components can be partitioned into two types, with Lagrangian potential strictly smaller than (resp. greater than ). As long as whenever , the Novikov positivity condition on the Lagrangian intersection points would imply that the entries of can only go in the direction and not vice versa, so the immersed Lagrangian is necessarily of the twisted complex form. This algorithm stops in finitely many steps since there are only finitely many components involved. ∎