Steven D'Aprano wrote:
> I'm just sketching an informal proof. If you want to make it vigorous
^^^^^^^^
I think the usual term is "rigorous", unless the mathematician
is taking some kind of stimulant... :-)
--
Greg