Abstract: We will give a beginner's introduction to simple homotopy theory and explain how it applies to prove the s-cobordism theorem, a generalization of the h-cobordism theorem for non-simply-connected h-cobordisms.