楚皓再次前往了上京。
这次的选拔将会确定出国家队的最终人选。
因为某些原因，去年的IMO华夏并没有参赛，而今年在罗玛利亚举行的比赛华夏队自然不会再缺席。
华夏在参加IMO以来，成绩一直都十分不错。
尤其是在进入千禧年之后，全国更是掀起了一阵奥数热。
而华夏的国家队也是一路披荆斩棘，各种喜讯不断传回。
第二阶段选拔的流程和上一次不能说是一模一样，只能说是完全相同了。
开幕式之后的第二天依旧是考试。
但现在的这些题对于楚皓而言实在没什么难度。
想不考满分都难。
虽然自习课讲座楚皓还是会按时参加，但他却永远在做着自己的事。
在临近考试的前三天，众人就没见过楚皓的身影了。
此时的他正在全力证明西塔潘猜想。
经过几个月的研究，他终于将思路理顺，并且正在尝试将其证明。
酒店房间中，楚皓正不断转着笔杆，他的眉头紧皱，似乎被什么难住了。
其实西塔潘猜想提出的时间并不长。
但在这不到十年的时间里却无一人能将其解决。
这也自然而然的成为了一个数学界的难题。
西塔潘猜想其实就是反推数学领域关于拉姆齐二染色定理证明强度的猜想。
在组合数学上，拉姆齐定理是要解决这样一个问题：
要找这样一个最小的数n，使得n个人中必定有k个人相识或l个人互不相识。
是不是很拗口？
大多数人连题目都很难理解，就不用说将其解开了。
而此时此刻，楚皓正在做的就是解开这道困扰了世界数学界将近十年的难题！
其实说是解决并不严谨。
楚皓现在真正要做的是否定这个猜想。
当西塔潘猜想被否定，那么也就不攻自破，这个困扰数学家已久的猜想也就被解开。
楚皓此时坐在桌面前，似乎想到了什么，于是指尖上旋转的笔杆骤停，开始奋笔疾书了起来。
……
R（1，s）＝1，R（2，s）＝s，R（i1，i2……），R（3，3，3）＝17R（3，3）＝6的证明。
证明：首先在一个K6的完全图内，每边涂上红或蓝色，必然有一个红色的三