Proof #7

Trades: