Proof (7)

Proof (7)