¿Cómo puedo demostrar que se cumple la siguiente ecuación?
$\int\limits_{0}^{t} f \left( s \right)W_s ds = W_t \int\limits_{0}^{t}f \left( s \right)ds - \int\limits_{0}^{t}\int\limits_{0}^{s} f\left( u \right)dudW_s $
$W_t$ es un proceso normal de Wiener.