Aprime number is defined as an integer greater than 1 whose only positive integer factors are itself and 1. find two ways to write this definition so that all quantifiers are explicit. (it may be convenient to introduce a variable to stand for the number and perhaps a variable or some variables for its factors.)