Finished first version of proof