Let and be positive integers. Consider the statements
- : and are consecutive integers.
- : The highest common factor of and is .
Which of the following is correct?
A is sufficient but not necessary for .
B is neither necessary nor sufficient for .
C is both necessary and sufficient for .
D is necessary but not sufficient for .