This characterization is deficient, however, because it does not prove useful when working computationally with J(R).
しかしながらこの特徴づけは不十分である、なぜなら J(R) で機械的にやるときには役に立つことを証明しないからである。