直接论证的循环性质