1. The problem statement, all variables and given/known data "Prove that if x is an element of [y] then [x] = [y]"