This theorem states that it is impossible to create a perfectly fair voting system that satisfies all desirable criteria.