Finished first proof-reeeeed