Update 05_module-theory.md