I had previously posted an answer, which was not correct.
The correct answer is negative, as shown in the first part of the answer of Calliope Ryan-Smith, following a suggestion of Andreas Leitz there in the comments.
Joel David Hamkins
- 246.1k
- 48
- 807
- 1.5k