Definition:Regular Heptadecagon