Comment by travisd

Haven't gone through the proof closely, but I suspect this would work for any prime for the tortoise, not just 2 (though 2 is probably optimal in actual implementation). This is the most I've used my discrete math degree in my 2.5 years post undergrad.