Rabbit now has a skid patch analysis tool to help clear up confusion regarding the correct skid patch count calculation. This tool shows that Fraction's theorem is correct (
http://www.bikeforums.net/showthread.php?t=242123).
I'll admit it's a little overkill but i think i've added it in a way that doesn't over complicate the existing functionality...
http://software.bareknucklebrigade.com