四、罗宾逊猜想