# How to proof the formula to be martingale under ITO process?

How can implies that is a martingale when using the defaultable bond price?