过了400年，猜想变定理