4. Folk Theorem

4.1. Folk Theorem Proof