Assertion: irregular prime number | /r/HasProperty | $p$
Facets:
Source sentences:
text: then for the irregular prime number $p$ Fermat's theorem holds, i.e. the Fermat equation is unsolvable in the non-zero rational numbers.