Dit bewijs door chatgpt is eigenlijk netjes en verder dan wat ik dacht dat opgelost kon worden met een enkele vraag aan gpt pro. Ik vraag me echter af hoeveel Erdos-problemen zullen volgen uit een stelling van Erdos.