素元になるということを具体的に表して分解して一意であることを使う。