==> arithmetic/tests.for.divisibility/seven.p <==
What is the test to see if a number is divisible by seven?