The Cayley-Hamilton Theorem
We give a short real-variable proof of the Cayley--Hamilton theorem using a local-to-global rigidity argument: prove the identity on a neighbourhood of a diagonal matrix with simple spectrum and extend to all matrices using polynomiality.