Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.
2) If are two oriented submanifolds of finite volume
such that they intersect transversally at finitely many points,
and ,
, then for
sufficiently small one has:
3) There exists a linear operator such that its kernel has support in ,
the wave front is the conormal bundle of
, and