Comment by j16sdiz

tiny fraction compared to the proof, yes.

but the proof is so fk'ing large that, the "tiny fraction" is still quite large.

and it is not that clean cut, sometimes you need to read the proof to understand the context. You need the context to know if the assumption is true.