@MaliceVidrine yeah, I think get it now. I think I was getting mind-blocked by my intuitive ideas of set theory. I thought that theorem said that if x=y, then the elements that are in x are in y, and the elements that are in y are in x, but that's the interpretation after the theory is developed, and before that \in is a binary relation with no further meaning.
