added theorem and lemma for the torsion filtration structure on HI_*