Test de primalidade de Fermat