Assertion: regular heptagon | /r/HasProperty | constructible
Facets:
value: with compass
type: OTHER
value: with a marked ruler
type: OTHER
Source sentences:
text: As 7 is a Pierpont prime but not a Fermat prime, the regular heptagon is not constructible with compass and straightedge but is constructible with a marked ruler and compass.
text: As 7 is a Pierpont prime but not a Fermat prime, the regular heptagon is not constructible with compass and straightedge but is constructible with a marked ruler and compass.