ここで対称なプレイヤーとは、formula_59が成り立つようなプレイヤーformula_56,formula_57のことである。