Assertion: remainder | /r/HasProperty | given § theorem statement
Facets:
Source sentences:
text: The statement in terms of remainders given in § Theorem statement cannot be generalized to any principal ideal domain, but its generalization to Euclidean domains is straightforward.