McKelvey's theorem