Proof #9

Trades: