Using the Itô product rule on tWₜ, which identity holds? · QuantMax