11.3 對猜想的檢驗