The ring of cyclotomic integers of modulus thirteen is Norm-Euclidean

Full text