ACCP Together with Primality of Irreducibles Implies Unique Factorisation Domain