See further discussion here: https://old.reddit.com/r/math/comments/osfc0x/you_know_those...