See Appendix B for Smooth distributions theorem.

References