Prime and Irreducible Elements | BMLabs | Euclidean Domains