Theorem updates, README.md updated