Assertion: prime number's digit | /r/HasProperty | replaced by digit one smaller
Facets:
value: in this last case
type: OTHER
Source sentences:
text: In this last case, the last non-zero digit may be replaced by the digit one smaller followed by an unlimited number of 9's, or the last non-zero digit may be followed by an unlimited number of zeros.