Invariance proof of simplicial homology and cohomology groups without using subdivisions or axiomatic approach Hu, Sze-Tsen (1970) Portugaliae mathematica