Assertion: rational number's fraction | /r/HasProperty | irreducible
Facets:
Source sentences:
text: Every rational number can be uniquely represented by some irreducible fraction.