This is years old and I'm not familiar with it, but generally, the proof is among the simplest and most straightforward, right? If I read it right, it's proof by exhaustion. The trick is that it was previously impractical.