运用判定来证明