この一般化された定理は暗黙のうちに使われており、例えば、命題を群論の公理系で証明可能であることを示すとき、任意の群についてその命題が成り立つことを示すことで証明とする。
这个更一般的定理被隐含使用，例如，在一个句子被证实可以用群论的公理证明的时候，通过考虑一个任意的群并证实这个句子被这个群所满足。