See section 11.10.3 for general polygons in the plane.
The polygon command takes as arguments a sequence of points.
polygon returns and draws the polygon whose vertices are the given points.
Input:
then:
Output: