proof-12400

Proof

Synopsis Proof: