Assertion: inversion | /r/HasProperty | mutual
Facets:
Source sentences:
text: Proof of statement Ⓒ follows automatically because inversion of points are mutual.