Let be any positive integer greater than , which is not divisible by .
Then which of the following is always true :
A: either , or , is divisible by .
B: either , or , is divisible by .
C: either , or , is divisible by .
D: either , or , is divisible by .