Week 12:Euclidean domains,