Assertion: isometry | /r/HasProperty | composition
Facets:
Source sentences:
text: By using the theorem that all isometries of the plane are translations, rotations, reflections, and compositions of translations and reflections (that is, a translation followed by a reflection).