我的思路是看树上有没有一个点满足它有大于等于 2 个叶子邻居，如果有就 First，没有就 Second。

想的时候感觉很对，但证不出来，又感觉自己 hack 不掉，于是写了一发然后寄掉了。

感觉这个是充分的，因为我总是可以先取那个分叉点，然后后手取掉一个叶子，接下来我只要在剩下的叶子里面选一个取走就赢了。应该是必要性假了。