一般点是近代（19世纪末）代数几何的一个基本概念。在概形理论中，一般点的定义略有不同。一个仿射概形的一个一般点指的是 R 的一个极小素理想，而一个概形的一般点指的是它的所有仿射开子概形的一般点全体。

一般点是具有特定性质的点，设 CS 是一不可约特征列，它刻画了一个一般点 ζ ，该点具有下列性质：对任意多项式 F，F 对 CS 的余式为零，当且仅当 F(ζ)=0 。

(method to proving by single instance)

例证法亦称单点例证法，是一种证明方法，是通过检验一个数值例子而判定命题真假的方法。

与用一般点检验多项式对升列的余式是否为 0 的思想有类似之处，但又有实质的不同。这一方法是洪加威提出的，但洪加威的理论较繁且仅能用于一类构造性几何命题的判定。下面说明基于入结式的方法。

设几何命题已转化为代数命题：要判断升列的零点集各分支中有多少个分支包含于 g 的零点集中，若所有分支都包含于 g 的零点集中，则几何命题一般成立。否则，命题一般不成立或在排除若干情形后成立，而 g 的零点集包含的升列零点集分支数目，即多项式关于λ的最低次数。

由于 P(u,λ) 中诸 λk项的系数都是独立变元的多项式，故问题归结为一些以为变元的多项式是否恒为0 的问题。

取定的一组数值，求出升列对应于这组参数的零点代人 g ，即可根据入结式理论检验 P(u,λ)中各 λk项的系数对应于这组参数的值是否为 0 。根据下述定理，对某些特殊的参数值，这种检验可用于判定被检验的多项式是否恒等于 0 。