小蓝和朋友小桥正在玩一个关于正整数的游戏。
初始时,桌面上有 个正整数 。小蓝先手,两人轮流操作。
一次操作需要选择当前桌面上的一个数 ,并将它修改为一个更小的正整数 。这个修改合法当且仅当 ,且 与 不互质。
“不互质”指两个正整数的最大公约数大于 ,即 。例如,对于数字 ,可以将它修改为 ;对于数字 ,可以将它修改为 。数字 和所有质数均无法被修改,因为它们不存在满足条件的更小正整数 。
当轮到某名玩家操作时,如果他无法做出任何合法操作,则该玩家输掉游戏。
已知小蓝和小桥都会采取最优策略,现在请你判断,在给定的初始局面下,小蓝是否必胜。