Arrow's theorem is proved on a domain consisting of two types of preference profiles. Those in the first type are "almost unanimous": for every profile some alternative x is such that the preferences of any two individuals merely differ in the ranking of x, which is in one of the first three...