2. [9 marks] Primes/Composites Notice that 2,5,11,17,23, and 29 are all primes, and are all congruent to 2 (mod 3), that is each of them leaves a remainder of 2 when divided by 3. You may use the following predicates in this question: d n:3kEZ, n-dk, where d, n ? z Prime(p) : p > 1 ? Vde N, d l p d-1 v d-p, where p E N Composite(n) : 3d ? N, d > 1 ? d 1 ? Vde N, d l p d-1 v d-p, where p E N Composite(n) : 3d ? N, d > 1 ? d