Two congruent polygons
are always similar