First proof:
First proof: