Week 15: Prime and irreducible elements in an integral domain