  It is shown that the law of an SDE driven by fractional Brownian motion with
Hurst parameter greater than 1/2 has a smooth density with respect to Lebesgue
measure, provided that the driving vector fields satisfy H\"ormander's
condition. The main new ingredient of the proof is an extension of Norris'
lemma to this situation.
