"If a polygon has seven sides, then it is a heptagon." What ...

That the polygon has seven sides.

Order