Assertion: algorithm's set | /r/HasProperty | m of g.
Facets:
Source sentences:
text: Therefore, the set of all numbers ua + vb is equivalent to the set of multiples m of g.