Proof Templates: ((x,y)∈A)∧((x,y)∈B) : Show that (x,y) has the property that defines membership of A and B Let A={(n,m)∣n,m∈N and mn has reminder zero, m ≠0 and m