formula_6を実数体、formula_7を自然数の成す半環とする。