針對三種類型的代理人，EFX 都是存在的

當只有三種類型的加性估值時，無論代理人數量多少，EFX 分配都存在。