Assignment:
Show that the assumptions of Theorem are necessary for its conclusion: if we remove any one of the three assumptions of the theorem, the conclusion does not hold.
Theorem Suppose that |A| ≥ 3 and that F satisfies the unanimity and independence of irrelevant alternatives properties. If coalition V is decisive for a* over b*, then V is decisive for any pair of alternatives in A.
Provide complete and step by step solution for the question and show calculations and use formulas.