Benutzer:Tanik/Lucas-Test/Fakt

Wenn ${}a\in A_{D}$ und ${}p$ eine ungerade Primzahl, dann

${}a^{p}\equiv a\,\,(mod\,p),{\text{falls}}\left({\frac {D}{p}}\right)=+1\,\,$

oder

${}a^{p}\equiv {\overline {a}}\,\,(mod\,p),{\text{falls}}\left({\frac {D}{p}}\right)=-1\,\,.$