primepredicate

prime number by predicate method