A number 
is said to be divisible by 
if 
is a divisor
of 
, denoted 
("
divides 
"). The converse of 
is 
("
does not divide 
").
The function Divisible[n, d] returns True if an integer 
is divisible by an integer 
.
The product of any 
consecutive integers is divisible by 
. The sum of any 
consecutive integers is divisible by 
if 
is odd, and by 
if 
is even.
