Thanks. I actually now think it was a bit incomplete or even wrong 3 hours ago when you wrote that :), but then I thought a bit harder, read a bit more (other W

Thanks. I actually now think it was a bit incomplete or even wrong 3 hours ago when you wrote that :), but then I thought a bit harder, read a bit more (other Wikipedia and https://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers/Davis.pdf https://www.math.uchicago.edu/~may/VIGRE/VIGRE2009/REUPapers...) and then fixed it. I think it should be good now.