Assertion: isometry | /r/HasProperty | $f$
Facets:
Source sentences:
text: How can one show that any isometry $f$ belongs to one of these four (or rather five) types?