In this chapter, we prove the invariance of the homology groups for surfaces and also for simplicial complexes of arbitrary dimension. A full proof is beyond the scope of this text. Those who are willing to take this invariance on trust may omit this chapter.