3 ms·

Indeed it's there in Joel Cohen, "On the Nature of Mathematical Proofs", pp. 84-90. (Good recollection!)