有些东西只能间接证明；有些东西只需间接证明