摘要
In this letter, we prove that in order to determine whether a proposition in elementary geometry of a certain type is true, we need only to compute one concrete example which depends only on the length of the proposition and the number n of free variables involved.
