Galois extension
αを任意の代数的数とするとき、体 Q(α) が Qのガロア拡大であれば、αの最小多項式に関しレーマー予想が成り立つ。