Update file3

edit for proof