partially wrote up problem 5 in ch 1 of set theory