Ok, I'll send a link to get a formal copy proof done.