Quibble: we don't know for sure what their proof is - this is the author's best stab at it.