Let and be relatively prime positive integers, and let be rational numbers. Define
Consider the following statement.
There are infinitely many positive integers for which
is an integer.
Which of the following correctly describes the condition that , , and is an integer, in relation to this statement?
AThe condition is necessary but not sufficient for the statement.
BThe condition is sufficient but not necessary for the statement.
CThe condition is both necessary and sufficient for the statement.
DThe condition is neither necessary nor sufficient for the statement.