Lagrangian Neighbourhood Theorem