K[x], Q都属于欧几里得环，所以都有带余除法，都有唯一分解定理，... #191

Open qingwen-guan opened 4 years ago