>>802
Cはどちらのチームにも(与えられるいつでも使える)公平な演繹停止だから

って意味だよな?