2 ms·Intermediate results, on which eventual proofs often end up relying.by pvg 4y agoIntermediate results, on which eventual proofs often end up relying.