Assertion: decimal's number | /r/HasProperty | − 1
Facets:
Source sentences:
text: If p is a proper prime ending in a 1, that is, if the repetend of 1 / p is a cyclic number of length p − 1 and