Re: [Hugs-users] isPrime definition