[openasocket]

I haven't the foggiest idea what that "proof" is supposed to mean, I can't follow any step in it. What is MAD in this context?