Proof the forward theorem for ForwardInterest.