ITO引理基础为随机微分方程，即那普通的带随机项的一阶非线性微分方程有ITO的结论吗？

例如，ds=f(s,t)+dz(t), z为随机变量，而F为s的函数，即F(s)，那么，F(s)有类似伊藤引理那样的结论吗？就是dF(s)有一个表达式。