Assertion: addition | /r/HasProperty | a + b/ c = a/c
Facets:
Source sentences:
text: Since a/b = a(b−1), division is right distributive over addition: (a + b) / c = a/c + b/c.