Exactly. 2^64 not being divisible by 3 means one residue occurs once more than the others, but that difference is one outcome out of roughly 2^64