欧几里得博弈

从数对 (25, 7) 开始。一次走法是把较大数减去较小数的任意正整数倍，但两数都须保持非负。把某个数变为 0 者获胜（等价地，无法行动者判负）。对 (25, 7)，轮到走的一方在最优对弈下是胜还是负？