七角形は七面型の一種である．