Theorem 1.4: If A and B are two sets, the so is their intersection.

Proof: This follows from Axiom 1 and Theorem 1.3.