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