結果 : basic set theory proofs