We consider a finite horizon discrete time model for bond market where bond prices are functions of the short rate process. We use a variant of the Ito's formula to decompose the bond price process into unique drift and martingale processes. We then apply the Girsanov's Theorem for finding a...