Spectral Proof
