Ito lemma for higher dimension (incomplete)