Comment by creata

Well, you don't necessarily need to read the proof, but the proof is useless if you don't read the specification.