Assignment:
Suppose that (N; v) is a coalitional game such that the set of imputations X(N; v) is nonempty, and such that the nucleolus x* differs from the prenucleolus. Prove that the nucleolus is located on the boundary of the set X(N; v).
Provide complete and step by step solution for the question and show calculations and use formulas.