3.7.184. Polygon

A constraint that can be generalised to handle polygons.