2020尼日利亚数学奥林匹克（第二轮）两道题目的证明