An và Bình cùng chơi trò chơi bốc bi. Ban đầu trên bàn có n viên bi, An và Bình lần lượt bốc một số bi trên bàn sao cho số bi bốc mỗi lượt từ một đến bốn viên. An là người bốc đầu tiên, người cuối cùng không còn bi để bốc là người thua cuộc.

a) Chứng minh rằng khi n = 13 thì An luôn có cách bốc để là người chiến thắng.

b) Chứng minh rằng khi n = 25 thì Bình luôn có cách bốc để là người chiến thắng.