初看起来，性质定理可以直接使用而判定定理需要证明，这种说法不够准确。

需要证明的，不是定理本身，而是可以使用定理的前提条件，判定定理和性质定理都是这样。 无论是判定定理还是性质定理，都是经过证明是真理以后才应用的。在运用任何定理时，定理本身不需要证明，直接使用作为大前提，而利用题目中的已知条件和从已知条件经过推导（证明）出来的结论作为小前提，表明可以应用某定理，从而推导出新的结论。这就是应用三段论说理的过程。