Talk:Curtis–Hedlund–Lyndon theorem