Characterisation of Unique Factorisation Domains via Irreducibles Being Prime