November 15, hours 26-27: Euclidean is PID is UFD
November-14-11
4:53 PM