3 ms·It might be enough to make you go on searching for the proofby andygeers 16y agoIt might be enough to make you go on searching for the proof