removed stuff
added adam's proof