直接证明造句