Proof here.

Advertisements