added a theorem about exclusive policy sets