We say an integer divides an integer and write if there exists an integer such that
Let be positive integers. Let the statement
Let C be the statement:
For every prime with , either or
This condition is:
Anecessary but not sufficient for
Bsufficient but not necessary for
Cnecessary and sufficient for
Dneither necessary nor sufficient for