例えば、あるタイプの二次多項式は、ハッセ(hasse)の局所大域原理に従う。