I don't think so. This is simpler, it's just stating that an optimization problem on a constrained information set must be weakly dominated by the full informat

I don't think so. This is simpler, it's just stating that an optimization problem on a constrained information set must be weakly dominated by the full information set. Arrow's theorem is a more domain specific and elegant proof regarding political properties that can be simultaneously held.