Why Gauss wanted a heptadecagon on his tombstone