Assertion: isometry | /r/CapableOf | fix the origin
Facets:
Source sentences:
text: I'm going through a step-by-step proof that all isometries fixing the origin are linear maps.