任何一个给定的矩阵对策G一定有解（在混合扩充中的解）。