Writing Assignment Question

Hello Professor Taylor,

I am writing to get a bit of clarity of what we are proving in this paper. From the blog instructions, I gather that we are trying to prove that:

"Given two integers x and y, we say that the partition P separates x and y, if [x]≠[y]."

and then from 2)

given a)

we are to prove b), c), and d)   

Again, I am just writing to see if I am understanding this correctly or if I am off base here. Thank you for your time and have a good afternoon.

####################################################################

Well, no.  Everything you are to prove is in item 2), and the four parts are somewhat independent. The statement

"Given two integers x and y, we say that the partition P separates x and y, if [x]≠[y]."

is the definition of what it means for a partition to separate two elements x,y. 

By the way, note that I made an additional comment inline to item  2a) on the writing assignment announcement below.