具体的には、"r" が分離的で有理根をもてば、"p" のガロワ群は "g" に含まれる。