g f and f g homotopy id tells H^n(f) H^n(g) = I’d