六、猜想的验证