結果 : set theory proof practice problems