Just the concept of the proposition of this paper is pretty amazing. The author Philip Maymin is a serious bad ass for doing this proof. What a dude.