Start with markup of my own proof