Input (grade 6): In order for to be prime, it is necessary but not sufficient that should be prime.
Output (grade 4): In order for to be prime, it is necessary that should be prime.