En la figura, los ejemplos están en verde, y los contraejemplos (cuando n no es primo y p divide n) en amarillo.