για κάθε
.Επιστροφή στην ειδική αναζήτηση
για κάθε
.
.
. Το 'ίσον' δεν ξέρω πως προκύπτει.
.
.
, να αποδείξετε ότι:
.
με
έχει την ιδιότητα:
.
, τότε εφαρμόζοντας το θεώρημα Fermat θα ίσχυε
και
αντίστοιχα. Άρα, θα βρίσκαμε τις τιμές του α. Αλλά, επειδή δεν ζητά τις τιμές του α και δεν λέει ότι είναι παραγωγίσιμη, ισχύει