  We show that a formal Deligne--Mumford stack is formal-locally represented by
a formal scheme. This is an analogue of Frobenius theorem for smooth foliations
in any characteristic and without smoothness hypotheses on the ambient space.
