missing 'inverse in cohomology group of suspension' file