prove bag theorem! (review it. only needed destruction + lemma) also attempt to prove code theorem! (finish it)