间接证明(间jiàn)