Assume (iii). Fix , a coordinate , and an event . Choose the bounded predictable risky strategy
and choose the numéraire holding to make the strategy self-financing with . Its terminal discounted value is
Condition (iii) yields
for every . The defining property of conditional expectation implies
Every coordinate is therefore a -martingale, so (iii) (i). This proves the martingale characterization by bounded self-financing strategies.