Opgave
Andersom geldt: als de implicatie geldt voor alle b,c uit Z en p>1, dan is p priem. Bewijs dit.