Started writing the proof
Finished proof