  We show that for any constructible sheaf F on a smooth algebraic variety X
over a field of arbitrary characteristic its singular support SS(F) is
equidimensional of dimension dim X. Here SS(F) is the minimal closed subset of
the cotangent bundle of X such that every (local) function on X with df(X)
disjoint from SS(F) is locally acyclic relative to F.
