Regulær mangekant, se mangekant.