update proof of thm3