Optimised introduction
Added the definition of pseudoperfectness
Properties of Tor amplitude
Almost finished the proof for the general case