I believe there is a proof that suggests such a set cannot exist. Can you write such a proof?