Curtis–Hedlund–Lyndons sats