信息学竞赛中没有证明。