Definition:Regular Pentagon