A DESCENT THEOREM FOR FORMAL SMOOTHNESS. (8th December 2016)