Of this begs the question: If folk in Evenville realise that factor trees need not be unique (once you get to big enough numbers), why do we like to believe our factor trees with even and odds are sure to be unique? There is a question to be explored there.https://twitter.com/Peter_Duplo/status/1058196456333467650 …
The really crucial question is: why does the fundamental theorem of arithmetic break down in Evenville -- and what specific features of our familiar, everyday number world are responsible for the validity of the theorem here?