Formal Proof Jackassery

Out on the 'net, A Formal Proof that Neil deGrasse Tyson is a Jackass

Would you believe that I came across this on a random page with the link running, in effect, as a classified ad? The Internet is a wondrous thing.