By Itô's formula I get that \begin{align} d(B_t^3 - 3t B_t) &= (3 B_t^2 dB_t + 3 B_t dt) - 3(B_t dt + 3 t d B_t) \\ &= (3 B_t^2 + 3t) d B_t \end{align} which seems related to martingale representation theorem, but I am missing the argument to conclude that expressing its "differential" as a process times $d B_t$ is enough to be a martingale.
Additionally, would there be a direct proof that it's a local martingale (without showing it to be a martingale) ?
For a direct proof of it being a martingale, I can use:
$$ \mathbb{E}[B_t^2| \mathcal{F}_s] = (t -s) + B_s^2 $$ and \begin{align} \mathbb{E}[B_t^3 - B_s^3| \mathcal{F}_s] &= \mathbb{E}[(B_t - B_s)^3] + \mathbb{E}[3 B_t B_s (B_t - B_s) | \mathcal{F}_s] \\ &= 0 + 3 B_s \mathbb{E}[B_t^2| \mathcal{F}_s] - 3 B_s^2 \\ &= 3(t -s) B_s \end{align}
but I was hoping for a knockout argument following the result of the Itô formula.