A DISCRETE-TIME ITÔ'S FORMULA