Assertion: scheme's number | /r/HasProperty | congruent mod pq
Facets:
Source sentences:
text: To check whether two numbers, like med and m, are congruent mod pq, it suffices (and in fact is equivalent) to check that they are congruent mod p and mod