Assertion: prime number's digit | /r/HasProperty | followed by unlimited number of zeros
Facets:
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.