 Solution

The terminal density is strictly positive and has expectation one under the usual deterministic initial bond-price convention. Its density process isFor $0\le s\le t\le T$, the Bayes formula for conditional expectation under a change of measure givesThe same calculation at $s=0$ gives the finite expectation $1/P(0,T)$, so this is a true martingale, not just a formal conditional identity. Thus the continuous-time bank account measured in units of the maturity-$T$ bond is a ${\mathbb{Q}}_T$-martingale. This is the forward measure change of numéraire. If the initial bond price were random rather than given, integrability of its reciprocal would need to be included for this true-martingale assertion.