2 ms·Though surprised by the proof, I'm not surprised by the gist.by ferdo 13y agoThough surprised by the proof, I'm not surprised by the gist.