proof with sets