結果 : set theory proofs examples