 That every smooth (indeed, "C"1) manifold has a unique PL structure was originally proven in .A detailed expositionary proof is given in .The result is elementary and rather technical to prove in detail, so it is generally only sketched in modern texts, as in the brief proof outline given in .