Week 3

4. Folk Theorem

4.1. Folk Theorem Proof