A short proof that compact 2-manifolds can be triangulated