updated theory, please check

pls check if the document compiles correctly