X · v is C∞ when v is C∞