[mathlover2]

Sorry. I wrote that piece before that fact was known. I'll post a correction later after looking up current sources.

EDIT: I have posted a correction at the top of the page.

[metadat]

Very generous and comendable, thank you mathlover2!