...that, for all prime numbers p, the pth Perrin number is divisible by p?