I have this exercise:
Let $(B_t^1,B_t^1)_{t \in (0,\infty)}$ be a standard two-dimensional brownian motion. Prove that the process $((X_t^1, X_t^2))_{t \in (0,\infty)}$ defined by $$ X_t^1 = \int_0^t cos(B_s^1)dB_s^1 - \int_0^t sin(B_s^1)dB_s^2$$ $$X_t^2 = \int_0^t sin(B_s^1)dB_s^1 + \int_0^t cos(B_s^1)dB_s^2$$ is a standard two-dimensional brownian motion.
I was thinking to solve it by using a two dimensional levy characterization of brownian motion. However, I just now the 1 dimensional version, so in general I would check that that given a martingale $M_t$, it is a standard brownian motion if $\langle M \rangle_t = t$. Is it the right way of proving this ? Maybe by considering a covariation ?