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

That's fair, but I would argue that reading the specification is very easy by comparison. A quick one hour tutorial is usually enough judging from my students' experiences.