moved cartesian product lemma back into question 4 and made minor edits