Archived tweet #2725 from the @leastfixedpoint Twitter Archive

@bramcohen Hm, right. I've rather run out of steam on the proof (though the exercise was bracing) :-) What gave rise to the question?