The Weinstein neighborhood theorem identifies a neighborhood of in with a neighborhood of the zero section in . If is sufficiently -close to the inclusion, projection of its image to is a diffeomorphism. After reparametrization, is therefore the graph of a small one-form .
The graph of a closed one-form is Lagrangian criterion says that is Lagrangian exactly when . Since , write . Intersections of with are the critical points of . A smooth function on a compact manifold has a maximum and a minimum; if they coincide as points because is constant, every point is an intersection. Thus there are at least two intersection points, proving the nearby exact Lagrangian intersection lemma.
The cohomology hypothesis is necessary. Take the zero section in and the graph of the arbitrarily small nowhere-zero closed one-form . Both are Lagrangian and disjoint.