Solution
= Solution
Because independent <Brownian motions> have zero <quadratic covariation>, the <Itô product rule> gives
$$
d(B_t^1B_t^2)=B_t^1\,dB_t^2+B_t^2\,dB_t^1.
$$
After integration, the random variable in the question is $B_t^1B_t^2$. Writing $B_t^j=\sqrt t\,Z_j$ for independent standard <Gaussian random variables> $Z_1,Z_2$, its distribution is
$$
tZ_1Z_2,
$$
the scaled <product of two independent standard normal random variables>.