Erdős证明至少存在一个首要的 表单的 和至少一个首要的 表单的 之间和为所有人.
埃里克·魏斯坦（Eric W.Weisstein）。《Choquet理论》摘自数学世界--Wolfram Web资源。https://mathworld.wolfram.com/ChoquetTheory.html
