Irreducible Elements Are Prime in a Unique Factorisation Domain