Oh - He's talking about the proof not the actual result. Thanks, that makes sense.