Hormander's theorem is about the smoothness of the law of the solution to a stochastic differential equation. The theorem says that if vector fields that represent drift and diffusion part satisfy Hormander's condition, then the law has a smooth density. This result is first proven by Hormander by using purely analytic techniques, but later it has been proved in a different way by using Malliavin...