... fixes at least one point. I recently came upon the proof in a book and I didn't quite understand the notion of "rigid motion", and I was wondering if you could help clarify it for me. Is it just "the vertices must stay in the given order", as used in symmetries of polygons? I've attached the proof. Thanks.