For the two people here who might be interested. Contains some historical background of possible interest too.

http://research.gold.ac.uk/14533/1/PDF_Proof.PDF