Correct proof of the crucial lemma. Two spectral sequences were needed.
Full proof of generation.
New conclusion written