Кольцо многочленов над кольцом с однозначным разложением – само кольцо с однозначным разложением.