方法は、まず、olの中の整数 θ を選択しlが θ によりk上に生成されるようにし(そのような θ は原始元の定理により存在が保証されている)、次に、k上の θ の最小多項式h(x)を試す。