A Proof of the Smoothness of the Finite Time Horizon American Put Option for Jump Diffusions - Erhan Bayraktar (2007)