(12 Pts] Given the universe of all non-negative integers, we define the two predicates Ak, m,n): (k = m+n) and M(k,m,n): (k = mn). For example A(4,3,1) is true while A(5,2,2) is false. We can use A and M to define other predicates. For example, Zero(n): A(n,n, n). Note that n = 0 is the only integer such that n=n+n. We can now use Zero to define Greater(m,n): 3k(-Zero(k)A(m, n, k)). Define the following predicates. You can use the predicates defined earlier in subsequent definitions. (a) [4 Pts) Equal(m,n) (b) (4 Pts] One(n) @) (4 Pts] Two(n) (d) Extra Credit (4 Pts) Prime(p)