Assertion: scheme's number | /r/HasAspect | this property
Facets:
Source sentences:
text: 1/(pq) numbers have this property), but even in this case the desired congruence is still true.