Fill in the rest of this proof.
Fill in the rest of this proof.