3.7.192. Polygon

A constraint that can be generalised to handle polygons.