Theorem 1.1: If A is a set then

Proof: Every element of A is an element of A.